Verwandte Artikel zu Understanding Z: A Specification Language and its Formal...

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.