Home › Computers & Technology › Interactive Theorem Proving and Program Development

1 1

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer
SKU: ByrdShop_3540208542
Price: 106.61 USD
Availability: OutOfStock

Hardcover – May 14, 2004

by Bertot, Yves

$106.61 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

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.