Program Construction and Verification
Author(s)
Backhouse, Roland C.
Backhouse, Roland C.
Roland C. Backhouse. Includes Index. Bibliography: P. 220-223.
| Name in long format: | Program Construction and Verification |
|---|---|
| ISBN-10: | 0137291469 |
| ISBN-13: | 9780137291465 |
| Book pages: | 281 |
| Book language: | en |
| Binding: | Paperback |
| Publisher: | Prentice Hall |
| Dimensions: | Height: 9.25 Inches, Length: 6 Inches, Weight: 0.98326168852 Pounds, Width: 0.75 Inches |
