Cover Image

Using Z: specification, refinement and proof/

Main Author: Woodcock, Jim
Other Authors: Davies, Jim
Format: Book
Language:English
Published: London: Prentice Hall, 1996
Subjects:
Z (Computer program language)
Physical Description:386σ. ; 24εκ.
Bibliography:Περιέχει ευρετήριο
ISBN:0139484728

Similar Items