Topic
Z (Programming Language)
11 books
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
John Derrick, Eerke A. Boiten
Z: A Beginner's Guide (Tutorial Guides in Computing and Information Systems, No 2)
John Turner, Jenny Whitworth, David Rann
Formal Specification and Documentation Using Z: A Case Study Approach
Jonathan Bowen
Formal Specification Using Z: A Modelling Approach
John Jones, Leonardo Bottaci
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)
Jonathan P. Bowen, Michael G. Hinchey
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Workshops in Computing)
J. P. Bowen
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)
Jonathan P. Bowen
An Introduction to Formal Specification With Z and Vdm (The Mcgraw-Hill International Series in Software Engineering)
Deri Sheppard
Z: an introduction to formal methods
Antoni Diller.
Understanding Agent Systems
Mark D'Inverno
Showing 10 of 11 books