Understanding Z: A Specification Language and its Formal Semantics

Detalls del llibre

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

Llegir més

Autor/a J. M. (University Of Oxford) Spivey
ISBN13 9780521054140
ISBN10 0521054141
Pàgines 140
Any Edició 2008
Fecha de publicación 21/01/2008
Idioma Alemany, Francès

Llegir més

Ressenyes i valoracions

Sigues la primera persona a valorar-lo!

Has llegit Understanding Z: A Specification Language and its Formal Semantics?

Understanding Z: A Specification Language and its Formal Semantics (Alemany, Francès)

Name: Understanding Z: A Specification Language and its Formal Semantics
Price: 44.46 EUR
Availability: OutOfStock
ISBN: 9780521054140