Using Z specification, refinement, and proof
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
London
Prentice Hall
1996.
|
| Series: | Prentice-Hall international series in computer science.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 8951 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218052826.0 | ||
| 008 | s1996 xxka bi 001 0 eng d | ||
| 020 | |a 0139484728 | ||
| 035 | |a 0000011675 | ||
| 039 | 9 | |a 201305021755 |b faizin |c 201301290904 |d shahrim |y 200910081511 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA76.73 .Z2 |b .W66 1996 | ||
| 100 | 1 | |a Woodcock, Jim. | |
| 245 | 1 | 0 | |a Using Z |b specification, refinement, and proof |c Jim Woodcock and Jim Davies. |
| 260 | |a London |b Prentice Hall |c 1996. | ||
| 300 | |a xvi, 386 p. |b ill. |c 24 cm. | ||
| 490 | 1 | |a Prentice-Hall international series in computer science | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Z (Computer program language). | |
| 650 | 0 | |a Computer software |x development. | |
| 700 | 1 | |a Davies, Jim |d 1964- | |
| 830 | 0 | |a Prentice-Hall international series in computer science. | |
| 999 | |a vtls000009580 |c 8951 |d 8951 | ||