|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000038038 |
| 005 |
20180314093000.0 |
| 008 |
021119n |
| 020 |
|
|
|a 0077072146
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b A52 1991
|
| 100 |
0 |
|
|a Andrews, D. [
|q (Derek)] ,
|e author
|
| 245 |
0 |
0 |
|a Practical formal methods with VDM
|c Derek Andrews, Darrel Ince
|
| 260 |
2 |
|
|a Berkshire, England :
|b McGraw-Hill ,
|c c1991
|
| 300 |
|
|
|a xvi, 450 p. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes index
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 700 |
0 |
|
|a Ince, Darrel ,
|e author
|
| 999 |
|
|
|a 1000084629
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|