Koha online

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

by Wang, Farn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
Place hold
2.
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
Place hold
3.
Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).
Place hold
4.
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 Aichernig, Bernhard K | Maibaum, Tom.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 AIC] (1).
Place hold

Powered by Koha