A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Product ID: 134227430X
Condition: New
$ 152
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Technical Specifications
Country
USA
Brand
Palala Press
Manufacturer
Palala Press
Binding
Hardcover
PartNumber
black & white illustrations
Height
9.21
Length
6.14
Weight
0.93916923612
Width
0.44
NumberOfItems
1
Author
Rubin, Norman
You might also like
Don Garcia
Don Garcia of Navarre; Or, the Jealous Prince. A Heroic Comedy in Five Acts
El Don de la Sensibilidad: Descubriendo la Potencia Oculta en la Profundidad Emocional y Cómo Aplicarla Al Instante (personas altamente sensibles, pas, vivir con alta sensibilidad) (Spanish Edition)
Goodbye Garcia Adios
My Father Cigars Ashtray (Don Pepin Garcia)
The Ultimate Asada Cookbook: Unleash the Flavors of Authentic Carne Asada with Delectable Recipes and Grilling Secrets from Mexico
The Analyst, Volume 11
The Dominion Annual Register And Review