The way of Z practical programming with formal methods
Main Author: | Jacky, Jonathan (Author) |
---|---|
Format: | Book |
Published: |
Cambridge, UK:
Cambridge University Press,
1997.
|
Subjects: |
Similar Items
-
An introduction to formal specification and Z
by: POTTER
Published: (1996) -
Constructing correct software
by: Cooke
Published: (2005) -
The Z 80 microprocessor : architecture, interfacing, programming and design
by: Gaonkar
Published: (1995) -
Practical C programming
by: OUALLINE
Published: (1997) -
Practical C++ programming
by: OUALLINE
Published: (1995)