Introduction to formal specification and Z
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Published: |
London
Prentice Hall
1996
|
| Edition: | 2nd ed |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000pam a2200000 4500 | ||
|---|---|---|---|
| 001 | 34656 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218090510.0 | ||
| 020 | 0 | 0 | |a 0132422077 |
| 035 | |a 0000022864 | ||
| 039 | 9 | |y 200910091553 |z VLOAD | |
| 090 | 0 | 0 | |a QA 76.76.D47 |b P68 1996 |
| 100 | 1 | 0 | |a Potter |h Ben |
| 245 | 1 | 0 | |a Introduction to formal specification and Z |c Ben Potter, Jane Sinclair and David Till |
| 250 | 0 | 0 | |a 2nd ed |
| 260 | 0 | 0 | |a London |b Prentice Hall |c 1996 |
| 300 | |a xiv,434p. |b ill. |c 23cm | ||
| 500 | 0 | 0 | |a Includes bibliographical references and index |
| 650 | 0 | 0 | |a Computetr software |x development |
| 650 | 0 | 0 | |a Z |x computer program language |
| 700 | 1 | 1 | |a Sinclair |h Jane |
| 700 | 1 | 1 | |a Till |h David |
| 999 | |a vtls000024213 |c 34656 |d 34656 | ||