|
|
|
|
| LEADER |
006150000a22001690004500 |
| 020 |
|
|
|a 0-387-97254-4
|
| 082 |
|
|
|a 005.133 ADA N0
|
| 100 |
|
|
|a Luckham, David
|
| 245 |
|
|
|a Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
|
| 260 |
|
|
|a New York, Springer Verlag
|
| 260 |
|
|
|c 1990
|
| 465 |
|
|
|a DM 98
|
| 490 |
|
|
|a Texts and monographs in computer science
|
| 650 |
|
|
|a Computer program language
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 13415
|d 13415
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_133000000000000_ADA_N0
|7 0
|8 ENG
|9 13216
|a MGUL
|b MGUL
|d 2013-07-16
|e DM 98
|l 0
|o 005.133 ADA N0
|p 22491
|r 2013-07-16
|w 2013-07-16
|y BK
|