Program Verification (International Computer Science Series)

Author(s)

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

Related Books