Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Industrial strength: Formal methods in practice by Series: Formal Approaches to Computing and Information Technology (FACIT
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London Springer 1999
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 HIN/I.

Place hold Add to cart
2.
ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995 by Series: Lecture Notes in Computer Science, 967
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1995
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z.

Place hold Add to cart
3.
ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. by Series: Lecture Notes in Computer Science,1212
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1997
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z.

Place hold Add to cart
4.
ZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998. by Series: Lecture Notes in Computer Science,1493
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1998
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z.

Place hold Add to cart
Pages