| 000 | 00759nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 131122s9999 xx 000 0 und d | ||
| 020 | _a3-540-16444-8 | ||
| 040 | _aISI KOLKATA | ||
| 041 | _aEnglish | ||
| 082 |
_a5.3 _bW924 |
||
| 100 | _aBibel W | ||
| 110 | _aWorkshop on Mathematical Methods of Specification and synthesis of Software Systems( 1985 : Wendisch,GDR ) | ||
| 111 |
_aWorkshop on Mathematical Methods of Specification and synthesis of Software Systems _cWendisch, GDR _d1985 |
||
| 245 | _aMathematical methods of specification and synthesis of software systems : proceedings | ||
| 260 |
_aN Y _bSpringer Verlag _c1986 |
||
| 300 | _a245p | ||
| 440 | _aLecture notes in computer science, 215 | ||
| 650 | _aSoftware systems | ||
| 942 | _cBK | ||
| 999 |
_c107979 _d107979 |
||