| Shelfclass_id | 4.B.3 |
| Sortkey | BICARREGUI, JUAN C |
| Authors | Juan C Bicarregui, J BICARREGUI, Sten Agerholm |
| Title | Proof in VDM: Case Studies |
| Publisher | Springer Pub. Co. |
| Year | c1998 |
| Languages | eng |
| Isbn | 3540761861 |
| Series | Formal approaches to computing and information technology |
| Description | (pbk.: alk. paper) xiv, 226 p. ill. 24 cm. |
| Record date | 20071022 |
| Location | New York |
| Keywords | Computer software, Automatic theorem proving |