| 000 | 01148cam a22002773u 4500 | ||
|---|---|---|---|
| 999 |
_c80807 _d80807 |
||
| 001 | 10100745 | ||
| 003 | upatras | ||
| 005 | 20210915143632.0 | ||
| 008 | 991022s1987 gw a 1 eng | ||
| 020 | _a3540176543 | ||
| 020 | _a0387176543 | ||
| 040 |
_aΒιβλιοθήκη ΕΑΙΤΥ _cΒιβλιοθήκη ΕΑΙΤΥ |
||
| 082 | _a005.1 | ||
| 111 | 2 |
_9187481 _aVDM '87 _d(1987 : _cBrussels, Belgium) |
|
| 245 | 1 | 0 |
_aVDM '87 : _bVDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / _cedited by D. Bjørner ... [et al.]. |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc1987. |
||
| 300 |
_a ix, 422 σ. : _bεικ. ; _c24 εκ. |
||
| 490 | 0 |
_aLecture notes in computer science ; _v252 |
|
| 504 | _aΠεριέχει βιβλιογραφικές αναφορές. | ||
| 650 | 4 |
_aΛογισμικό εφαρμογών _9160424 _xΑνάπτυξη |
|
| 700 | 1 |
_9187487 _aBjørner, D. _q(Dines), _d1937- _eεπιμελητής |
|
| 710 | 2 |
_9187488 _aVDM-Europe |
|
| 942 |
_2ddc _cBK |
||