|
|
|
|
| LEADER |
01194nam a2200277 a 4500 |
| 001 |
c000018569 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
901120s1990 nyua b 00110 eng |
| 019 |
1 |
|
|a 7707282
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387972544 (New York Berlin Heidelberg : alk. paper)
|
| 020 |
|
|
|a 3540972544 (Berlin Heidelberg New York : alk. paper)
|
| 035 |
|
|
|a (OCoLC)22808293
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a QA76.73.A54
|b L83 1990
|
| 082 |
0 |
0 |
|a 005.13/3
|2 20
|
| 100 |
1 |
|
|a Luckham, David C.
|
| 245 |
1 |
0 |
|a Programming with specifications :
|b an introduction to ANNA, a language for specifying Ada programs /
|c David Luckham.
|
| 260 |
|
|
|a New York :
|b Springer-Verlag,
|c c1990.
|
| 300 |
|
|
|a xvi, 416 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Texts and monographs in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [401]-410) and index.
|
| 650 |
0 |
0 |
|a ANNA (Computer program language)
|
| 650 |
|
0 |
|a Ada (Computer program language)
|
| 852 |
8 |
|
|b CARM
|h A2:AH01B0
|i B03491
|p 0095522
|f BK
|
| 999 |
f |
f |
|i 176cfa82-9438-5aed-b268-6bb7ee8ca32a
|s 8168f656-6615-5c48-a0cb-57e49458207c
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B03491
|f A2:AH01B0
|h Other scheme
|i book
|m 0095522
|