|   | by Jeffrey O. GradyHardcover details (USA). details (UK). details (Germany). details (Canada). ISBN: 978-0-12-374014-4 ISBN-10: 0-12-374014-2 Academic Press · 2007 | 
| See also: | ||
| 2016 | Paperback | System Verification: Proving the Design Solution Satisfies the Requirements |