Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) - J. Bicarregui - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540198130 - December 1, 1993
In case cover and title do not match, the title is correct

J. Bicarregui
Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) Softcover Reprint of the Original 1st Ed. 1994 edition

Price
HK$ 431
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 4 - 10
Get notified about new J. Bicarregui releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.

378 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 1, 1993
ISBN13 9783540198130
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 378
Dimensions 155 × 235 × 20 mm   ·   530 g
Language English  

More from the same publisher

See all of J. Bicarregui ( e.g. Paperback Book )