The Way of Z View on Open Library

The Way of Z

by Jonathan Jacky

No reviews yet
First published: 1996 1 language ISBN: 9780511888472
Subjects
Formal methods (Computer science) Z (Computer program language) Z (computer program language)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jonathan Jacky

Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysi...

Model-based software testing and analysis with C♯

Model-based software testing and analysi...

Model-based Software Testing and Analysis with C?

Model-based Software Testing and Analysi...

Directions and implications of advanced computing, (DIAC-87)

Directions and implications of advanced ...

Model-based software testing and analysis with C♯

Model-based software testing and analysi...

You Might Also Like

More in Formal methods (Comp...
Software Specification Methods

Software Specification Methods

Henri Habrias
Communicating embedded systems

Communicating embedded systems

Claude Jard
Formal methods for components and objects

Formal methods for components and object...

Frank S. de Boer
Extension Innovation Method

Extension Innovation Method

Chunyan Yang
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distrib...

Michael Alexander