Quick Search

Keyword
Title
Author
Seller Id
Advanced Search
 
 

Find us on:

 
Gift Certificate

 
 
Other
       Tell a Friend
Add to Shopping Cart
Author Name:    Rubin, Norman

Title:   A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)

Binding:   PAPERBACK

Book Condition:   New

Publisher:    Forgotten Books 

ISBN Number:   1333351275 / 9781333351274

Seller ID:   ING9781333351274

1333351275 Special order direct from the distributor


Price = 21.41 CDN
Add to Shopping Cart

cookie