|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000038427 |
| 005 |
20180314093000.0 |
| 008 |
021119n |
| 020 |
|
|
|a 020117572X
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b H45 1988
|
| 100 |
0 |
|
|a Hekmatpour, Sharam ,
|d 1961- ,
|e author
|
| 245 |
0 |
0 |
|a Software prototyping, format methods and VDM
|c Sharam Hekmatpour and Darrel C. Ince
|
| 260 |
2 |
|
|a Wokingham, England :
|b Addison-Wesley ,
|c c1988
|
| 300 |
|
|
|a 222 p. ; ;
|c 24 cm.
|
| 440 |
0 |
0 |
|a International computer science series
|
| 504 |
|
|
|a Includes bibliography (p. 138-153) and index
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 700 |
0 |
|
|a Ince, Darrel ,
|e author
|
| 999 |
|
|
|a 1000085745
|b Book
|c Close Access
|e Tembila Campus
|