An introduction to formal specification and Z

Main Author: POTTER
Other Authors: Sinclair,, Till,
Format: Book
Published: London: Prentice Hall, 1996.
Edition:2nd ed.
Subjects:
LEADER 00573cam a2200193 7i4500
001 0000028149
005 20230524090000.0
020 |a 0132422077  
082 |a 005.12 POT 
090 0 0 |a QA76.76.D47   |b POT 1996 
100 1 0 |a POTTER  
245 1 0 |a An introduction to formal specification and Z   |c Ben Potter, Jane Sinclair, David Till. 
250 0 0 |a 2nd ed. 
260 0 0 |a London:   |b Prentice Hall,   |c 1996. 
300 |a xiv, 434p.;   |c 24cm. 
650 0 0 |a Computer software --   |x Development  
650 0 0 |a Z (Computer program language)  
700 1 1 |a Sinclair,   |h Jane  
700 1 1 |a Till,   |h David