Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
| Name in long format: | Formal Methods of Program Verification and Specification (Prentice-Hall Software Series) |
|---|---|
| ISBN-10: | 0133288072 |
| ISBN-13: | 9780133288070 |
| Book pages: | 207 |
| Book language: | en |
| Binding: | Hardcover |
| Publisher: | Prentice Hall |
| Dimensions: | Weight: 1.05 Pounds |
