|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000038448 |
| 008 |
021119n |
| 020 |
|
|
|a 3540525130
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b I61 1990
|
| 110 |
0 |
|
|a International Symposium of VDM Europe
|i (3rd :
|k 1990 :
|j Keil, Germany)
|
| 245 |
0 |
0 |
|a VDM '90
|b VDM and Z - formal methods in software development
|
| 260 |
2 |
|
|a Berlin
|b Springer-Verlag
|c c1990
|
| 300 |
|
|
|a xvii, 579 p. ;
|c 25 cm.
|
| 440 |
0 |
0 |
|a Lecture notes in computer science / edited by G. Goos and J. Hartmanis
|
| 650 |
|
0 |
|a Computer software
|x Development
|v Congresses
|
| 700 |
0 |
|
|a Bjorner, D.
|q (Dines)
|d 1937-
|e author
|
| 700 |
0 |
|
|a Hoare, C. A. R.
|q (Charles Antony Richard)
|d 1934-
|e author
|
| 700 |
0 |
|
|a Langmaack, Hans
|e author
|
| 999 |
|
|
|a 1000085746
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|