Cover of Using Z
View on Open Library ↗

Using Z

by ,

1.5 hrs read
Rate this book:
386 pages 1996

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Jim Woodcock

Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007
Formal Methods Foundations and Applications Lecture Notes in Computer Science
Formal Methods Foundations and Applications Lecture Notes in Computer Science
2010
Software Engineering for Robot
Software Engineering for Robotics
2022
St. Louis Blues hockey club, 1967-2002
St. Louis Blues hockey club, 1967-2002
2002
Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013
2013
Unifying Theories of Programmi
Unifying Theories of Programming and Formal Engineering Methods
2013

View all books by Jim Woodcock →