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

Spivey, J.M.

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

Inhaltsangabe

This book provides a standard framework for understanding Z specifications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0521054141 ISBN 13:  9780521054140
Verlag: Cambridge University Press, 2008
Softcover