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

Spivey, J

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

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

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

Vorgestellte Ausgabe

ISBN 10:  0521334292 ISBN 13:  9780521334297
Verlag: Cambridge University Press, 1988
Hardcover