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

J Spivey

ISBN 10: 0521054141 / ISBN 13: 9780521054140

Editore: Cambridge University Press 2008-02-28, 2008

Riguardo questo articolo

Codice articolo 6666-IUK-9780521054140

Dati bibliografici

Titolo: Understanding Z: A Specification Language ...

Casa editrice: Cambridge University Press 2008-02-28

Data di pubblicazione: 2008

Legatura: Paperback

Condizione: New

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