HomeComputers & TechnologyInteractive Theorem Proving and Program Development
Skip to product information
1 of 1

Interactive Theorem Proving and Program Development

HardcoverMay 14, 2004
Regular price $106.61 USD
Regular price Sale price $106.61 USD
Sale Sold out
Shipping calculated at checkout.
Secure Checkout
Quality Guaranteed
New Out of Stock
ISBN-13: 9783540208549 ISBN-10: 3540208542
Publisher
Springer
Binding
Hardcover
Published
May 14, 2004
Weight
1.9 lbs
Dimensions
23.80×3.20×16.40 cm

About this book

Interactive Theorem Proving and Program Development by Bertot, Yves. Hardcover edition. ISBN: 9783540208549.