Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics
Computer Aided Verification
Product ID: 1013271017
Condition: New
Sold Out
Product Description
Computer Aided Verification
Technical Specifications
Country
USA
Brand
Saint Philip Street Press
Manufacturer
Saint Philip Street Press
Binding
Hardcover
PartNumber
Refer to Sapnet.
Height
11
Length
8.5
Weight
3.43039279672
Width
1.19
NumberOfItems
1
Author
Chockler, Hana, Weissenbacher, Georg
You might also like
Church Melodies: a Collection of Psalms and Hymns, With Appropriate Music, for the Use of Congregations
Swiss Letters and Alpine Poems
Variety (June 1914); 35
Books for Young People; a Class List, With Index of Authors & Subjects ... Together With Reference Lists on Washington, Lincoln, Grant, Easter, Arbor ... Independence Day, Thanksgiving & Christmas.
A Call to the Laity; Addresses on the Lay Apostolate
Farming in the West; Irrigated Crop Production
20th Century Gospel Songs
The Chowanoka; 1952