search for books and compare prices
Chris Sennett has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Formal Methods in Systems Engineering
cover image for 9780387197517
Product Description: As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level...read more
By Peter Ryan and Chris Sennett (editor)
See complete details on each edition (2 editions listed)

Paperback:

9780387197517 | Springer Verlag, September 1, 1993, cover price $59.00 | About this edition: As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved.
9783540197515 | Springer-Verlag New York Inc, July 16, 1993, cover price $99.00 | About this edition: As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved.

displaying 1 to 1 | at end