High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))
Full Title: | High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT)) |
---|---|
ISBN: | 3540762264 |
ISBN13: | 9783540762263 |
List Price: | USD $142.00 |
Authors: |
Bowen, Jonathan P. Hinchey, Michael G. |
Related ISBNs