| Record Identifier: | 13435 |
| Authorstatement: | Grady, Jeffrey |
| Title: | System verifiction: Proving the Design Solution Satisfies the Requirements |
| Publisher: | Academic Press |
| Publisher: | 2016 |
| LC classes: | QB 153 .G31 2016 |
| Register Number | Part3 | Version | Volume | Part | Part2 | Reference | Call Number | lended | Date Back | Description | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 13425 | 1 |