High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) - Jonathan P. Bowen - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540762263 - April 12, 1999
In case cover and title do not match, the title is correct

High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1999 edition

Jonathan P. Bowen

Price
DKK 349.60
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 3 - 13

Our customers say:

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

High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1999 edition

That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.

720 pages, 7 black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 12, 1999
ISBN13 9783540762263
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 701
Dimensions 236 × 158 × 40 mm   ·   1.10 kg
Language English  
Show all

More by Jonathan P. Bowen

See all of Jonathan P. Bowen ( e.g. Paperback Book )