Interactive theorem proving and program development

by Yves Bertot | 14 May 2004
Hardback
Category: Mathematics
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
€104.99
314 Reward Points
In stock online
Delivery 5-7 Days
Eligible for free delivery

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Quantity:
In stock online
Delivery 5-7 Days
Eligible for free delivery
314 Reward Points

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!

€104.99
In stock online
Delivery 5-7 Days
Eligible for free delivery
Quantity:
314 Reward Points

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!

Product Description

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Product Details

Interactive theorem proving and program development

ISBN9783540208549

FormatHardback

Publisher (14 May. 2004)

No. of Pages469

Weight1940

Language English (United States)

Dimensions 235 x 155 x 33