0 items in cart
Bargain Books Home > Bargain Automatic theorem proving Books
Remember, when you purchase multiple books from the same bookseller, you may be eligible for discounted shipping.
| 1) |
The Programming and Proof System ATES. Advanced Techniques Intergration into Efficient Scientific Software
Springer-Verlag, 1991. 341 pp., paper wrapper, ex library, else text clean and binding tight (more information)
Offered by Zubal Books (Ohio, United States) |
Price: $1.14
|