Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) - J C Bicarregui - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540761860 - March 2, 1998
In case cover and title do not match, the title is correct

Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1998 edition

Price
Íkr 15,549
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 23
Add to your iMusic wish list

Not rated yet

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.

Mere med samme udgiver