Your search returned 5 results.

Not what you expected? Check for suggestions

Image from Google Jackets

Abstraction, Refinement and Proof for Probabilistic Systems by

Series: Monographs in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 2004

Availability: Items available for loan: DAU (1)Call number: 005.1 MCL.

Image from Google Jackets

Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap by

Series: ; 2757 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2003

Availability: Items available for loan: DAU (1)Call number: 004 AIC.

Image from Google Jackets

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings by

Wang, Farn

Series: ; 3299 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 2004

Availability: Items available for loan: DAU (1)Call number: 004 WAN.

Image from Google Jackets

Practical TLA+ : planning driven development by

Wayne, Hillel

Publication details: New York : Apress, 2018

Availability: Items available for loan: DAU (1)Call number: 005.13 WAY.

Image from Google Jackets

Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings by

Godefroid, Patrick

Series: ; 3639 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 2005

Availability: Items available for loan: DAU (1)Call number: 004 GOD.

Not finding what you're looking for?

Make a purchase suggestion

Resource Centre

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 5 results.

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 5 results.

Public lists