Interactive Theorem Proving And Program Development by Yves Bertot
Sale!
americanbookwarehouse10-856281

Interactive Theorem Proving And Program Development by Yves Bertot

Original price was: $149.95.Current price is: $37.48.

SKU: 20919361 Category:

Description

Interactive Theorem Proving And Program Development by Yves Bertot is available now for quick shipment to any U.S. location!Thisbook is in good condition or better.

TitleInteractive Theorem Proving and Program Development

Author(s)Yves Bertot

PublisherSpringer

Publish Year2004

Reviews

There are no reviews yet.

Be the first to review “Interactive Theorem Proving And Program Development by Yves Bertot”

Your email address will not be published. Required fields are marked *

Related products