| |
Using Z: specification, refinement, and proof
|
Material Type |
Book/ Reference
|
Author(s) |
Woodcock, Jim (Author)
Davies, Jim (Author)
|
Respons Author |
Jim Woodcock and Jim Davies
|
Publication Data |
London: Prentice Hall, 1996
|
Physical Description |
xvi, 386 p.
|
Series Data |
Prentice Hall international series in computer science;
|
ISBN |
0-13-948472-8
|
Subject Area/ Descriptors |
Computer
(12522)
|
|
|
Call Number |
005.12
WOO
browse shelves
Foregn
or
Arabic
|
|
|
|
| |
|
Search Through eResources |
● |
|
● |
Related topics |
|
|
|