Program Verification (International Computer Science Series)
Author(s)
Nissim, Francez
Nissim, Francez
Name in long format: | Program Verification (International Computer Science Series) |
---|---|
ISBN-10: | 0201416085 |
ISBN-13: | 9780201416084 |
Book pages: | 312 |
Book language: | en_US |
Edition: | 1 |
Binding: | Hardcover |
Publisher: | Addison-Wesley |
Dimensions: | Height: 9.5 Inches, Length: 6.5 Inches, Width: 1 Inches |