Free Delivery on orders over €10

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
Currently out of stock
Delivery in 5 - 7 working 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.
Currently out of stock
Delivery in 5 - 7 working 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
Currently out of stock
Delivery in 5 - 7 working 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!

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

PublisherSPRINGER (14 May. 2004)

No. of Pages469

Weight1940

Language English (United States)

Dimensions 235 x 155 x 33