| 000 | 00750 a2200253 4500 | ||
|---|---|---|---|
| 001 | 61817 | ||
| 020 | _a3-540-56662-70 | ||
| 041 | _aeng | ||
| 080 | _a681.3.06 Int:1:93 | ||
| 245 | _aFME 93 : industrial-strength formal methods : first international symposium of formal methods Europe : proceedings, Odense, Denmark, Apr. 19-23, 1993 / edited by J.C.P. Woodcock and P.G. Larsen | ||
| 250 | _a | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer-Verlag | ||
| 260 | _c1993 | ||
| 300 | _axi,689 p. | ||
| 300 | _c23 cm | ||
| 490 | _aLecture notes in computer science ; v.670 | ||
| 100 | _aInternational symposium of formal methods Europe (1st : 1993 | ||
| 700 | _a | ||
| 650 | _a | ||
| 650 | _aFormal languages-Congresses | ||
| 942 | _cBK | ||
| 942 | _2UDC | ||
| 999 |
_c26274 _d26274 |
||