Mathematical methods of specification and synthesis of software systems '85 : Proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
Mentés helye:
| Közreműködő(k): | |
|---|---|
| Formátum: | könyv |
| Nyelv: | angol |
| Megjelenés: |
Berlin [etc.] : Springer,
1986
|
| Sorozat: | Lecture notes in computer science ; 215 |
| Tárgyszavak: | |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
| LEADER | cam 2200289 c 4500 | ||
|---|---|---|---|
| 001 | 000370506 | ||
| 005 | 20070228124000.0 | ||
| 008 | 070228c19861986gw a f 101 0 eng d | ||
| 020 | |a 3-540-16444-8 | ||
| 020 | |a 0-387-16444-8 | ||
| 035 | |a 370506 | ||
| 040 | |a ELTE |b hun | ||
| 041 | 0 | |a eng | |
| 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 ed. by W. Bibel and K.P. Jantke |
| 260 | |a Berlin [etc.] |b Springer |c cop. 1986 | ||
| 300 | |a 245 p. |b ill. |c 24 cm | ||
| 490 | 1 | |a Lecture notes in computer science |v 215 | |
| 598 | |a könyv | ||
| 650 | 0 | 4 | |a szoftverfejlesztés |x konferencia |
| 650 | 0 | 4 | |a Computer software |x Development |x Congresses |
| 653 | |a konferenciakötet | ||
| 653 | |a tanulmányok | ||
| 700 | 1 | |a Bibel, Wolfgang | |
| 700 | 1 | |a Jantke, Klaus Peter |d 1951- | |
| 830 | 0 | |a Lecture notes in computer science | |
| 850 | |a B2 | ||
| 949 | |b 10004200005271 |k TINFKO |l B2_42 |s f |t INFK |x 7284 | ||
| 925 | |a Feltöltve | ||