| 000 | 00870nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 160510s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a 0-387-56733-X; 3-540-56733-X | ||
| 037 | _a C-182483 | ||
| 041 | _a eng | ||
| 080 | _a4.415 | ||
| 090 | _a III 13202 | ||
| 245 | _a Program development by specification and transformation the PROSPECTRA methodology, language family and system | ||
| 245 | _c eds. Berthold Hoffmann, Brnd Krieg-Brckner | ||
| 260 | _a Berlin; Heidelberg; New York | ||
| 260 | _b Springer | ||
| 260 | _c1993 | ||
| 300 | _a xv, 623 p. ; 23 cm | ||
| 490 | _a Lecture Notes in Computer Science (LNCS)\\Springer\ | ||
| 490 | _v680 | ||
| 541 | _h 182400 lei | ||
| 655 | _a lucrare de specialitate | ||
| 690 | _a tehnologia informației (IT) -- programe; programarea calculatoarelor; limbaje de programare | ||
| 942 | _a 004.41/P94d | ||
| 999 |
_c7511 _d7511 |
||