Z (Programming Language) - Computer Books

Z (Programming Language) - Books

Click a book link to view all the available details:

· Introduction to Formal Specification and Z (2nd Edition)
· Refinement in Z and Object-Z: Foundations and Advanced Applications
· The Object Z Specification Language
· Z: An Introduction to Formal Methods, 2nd Edition
· Zum '98: The Z Formal Specification Notation (Lecture Notes in Computer Science)

Return To Main Computer Book Index

Search Our Entire Computer Book Catalog