Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)

Spivey, J. M.

ISBN 10: 0521334292 / ISBN 13: 9780521334297

Editore: Cambridge University Press, 1988

Riguardo questo articolo

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Codice articolo wbs6290490329

Dati bibliografici

Titolo: Understanding Z: A Specification Language ...

Casa editrice: Cambridge University Press

Data di pubblicazione: 1988

Legatura: Rilegato

Condizione: Good

Descrizione articolo

Riassunto:

This book provides a standard framework for understanding Z specifications.

Recensione:

"The book is very well written and accurate, and the graphics are good." Computing Reviews

"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik