000 | 00534pam a2200169a 44500 | ||
---|---|---|---|
008 | 160408bc1990 xxu||||| |||| 00| 0 eng d | ||
020 | _a3540525130 | ||
082 |
_a001.64 _bL497 |
||
100 | _a | ||
245 | 1 |
_aLECTURE NOTES IN COMPUTER SCIENCE ; VDM '90 VDM AND Z -- FORMAL METHODES IN SOFTWARE DEVELOPMENT _bV.428 |
|
260 |
_a _bSpringer-Verlag, Berlin _cc1990 |
||
300 | _axvii,579 | ||
964 | _gCIRC | ||
997 | _aA108310 C | ||
440 | _aLecture Notes in computer science | ||
856 | _uhttp://link.springer.com/bookseries/558 | ||
999 |
_c337617 _d337617 |