Using Z specification, refinement and proof
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
London
Prentice Hall
1996
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000pam a2200000 4500 | ||
|---|---|---|---|
| 001 | 30971 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218085522.0 | ||
| 035 | |a 0000021209 | ||
| 039 | 9 | |y 200910091517 |z VLOAD | |
| 090 | 0 | 0 | |a QA 76.73 Z2 |b W66 1996 |
| 100 | 1 | 0 | |a Woodcock |h Jim |
| 245 | 2 | 4 | |a Using Z |b specification, refinement and proof |c Jim Woodcock and Jim Davies |
| 260 | 0 | 0 | |a London |b Prentice Hall |c 1996 |
| 999 | |a vtls000021102 |c 30971 |d 30971 | ||