Tell your friends about this item:
Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) J C Bicarregui Softcover reprint of the original 1st ed. 1998 edition
Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT)
J C Bicarregui
With contributions by numerous experts.
226 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 2, 1998 |
| Original release date | 1997 |
| ISBN13 | 9783540761860 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 226 |
| Dimensions | 155 × 235 × 13 mm · 344 g |
| Language | German |
| Editor | Bicarregui, Juan C. |