High integrity Ada the SPARK
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Harlow,England
Addison-Wesley
1997
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Call Number : | QA76.73.A35 37 1997 |
MARC
| LEADER | 00000pam a2200000 4500 | ||
|---|---|---|---|
| 001 | 6807 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218052258.0 | ||
| 020 | 0 | 0 | |a 0201175177 |
| 035 | |a 0000008905 | ||
| 039 | 9 | |y 200910081438 |z VLOAD | |
| 090 | 0 | 0 | |a QA76.73.A35 |b 37 1997 |
| 100 | 1 | 0 | |a Barnes |h John |
| 245 | 1 | 0 | |a High integrity Ada |b the SPARK |c John Barnes with Praxis Criticsl System Limited |
| 260 | 0 | 0 | |a Harlow,England |b Addison-Wesley |c 1997 |
| 300 | |a xvi,368p. |b ill. |c 24cm | ||
| 500 | 0 | 0 | |a Includes bibliographical references and index |
| 650 | 0 | 0 | |a Ada(Computer program language) |
| 999 | |a vtls000006899 |c 6807 |d 6807 | ||