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
HK$ 951
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 14
Add to your iMusic wish list

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