The essence of Z
Saved in:
Main Author: | Currie, Ed |
---|---|
Format: | Book |
Published: |
London
Prentice Hall Europe
1999
|
Series: | The essence of computing series
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Z guide for beginners
by: McMorran, Mike
Published: (1993) -
The way of z practical programming with formal methods
by: Jacky, Jonathan
Published: (1997) -
Introducing specification using Z a practical case study approach
by: Ratcliff, Bryan
Published: (1994) -
Z User Meeting proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford
Published: (1991) -
An introduction to formal specification and Z
by: Potter, Ben
Published: (1996)