|
|
|
|
| LEADER |
01177nam a2200277 a 4500 |
| 001 |
c000161117 |
| 003 |
CARM |
| 005 |
19920604000000.0 |
| 008 |
861008s1986 wb a b 100 0 eng |
| 019 |
1 |
|
|a 4811495
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387164448
|b (pbk.)
|
| 035 |
|
|
|a (OCoLC)17384515
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d VMOU
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b M37 1986
|
| 082 |
0 |
4 |
|a 005.1
|2 19
|
| 245 |
0 |
0 |
|a Mathematical methods of specification and synthesis of software systems '85 :
|b proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /
|c edited by W. Bibel and K.P. Jantke.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1986.
|
| 300 |
|
|
|a 245 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 215.
|
| 504 |
|
|
|a Includes bibliographies.
|
| 650 |
|
0 |
|a Computer software
|x Development
|x Congresses.
|
| 700 |
1 |
|
|a Bibel, W.,
|d 1938-
|
| 700 |
1 |
|
|a Jantke, K. P.
|q (Klaus P.)
|
| 852 |
8 |
|
|b CARM
|h A2:AL20E0
|i C05351
|p 0212354
|f BK
|
| 999 |
f |
f |
|i 22b64eea-d876-5ca5-8520-df2c3c45b46d
|s 28178f10-29c4-5018-8ed2-94c1de4daa12
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05351
|f A2:AL20E0
|h Other scheme
|i book
|m 0212354
|