| Shelfclass_id | 4.B.1 |
| Sortkey | MIDDELBURG, CORNELIS A |
| Authors | Cornelis A Middleburg, CORNELIS A MIDDELBURG |
| Title | Logic and Specification: Extending VDM-SL for Advanced Formal Specification |
| Publisher | Chapman & Hall |
| Year | 1993 |
| Languages | eng |
| Isbn | 0412486806 |
| Series | Computer science research and practice |
| Record date | 20071105 |
| Location | London |