Textbook
Z: An Introduction to Formal Methods, 2nd EditionISBN: 978-0-471-93973-3
Paperback
400 pages
July 1994, ©1994
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
|
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.