phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Interactive Theorem Proving and Program Development

Language EnglishEnglish
Book Paperback
Book Interactive Theorem Proving and Program Development Yves Bertot
Libristo code: 02129635
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
SALE SALE
73.19 €
Low in stock Shipping within 24 hours

30-day return policy

Customers also purchased

Types and Programming Languages Pierce / Hardback
common.buy 98.46 €
Lambda Calculus with Types Henk Barendregt / Hardback
common.buy 105.33 €
Four Pillars of Geometry John Stillwell / Hardback
common.buy 43.06 €

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.

About the book

Full name Interactive Theorem Proving and Program Development
Author Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 472
EAN 9783642058806
ISBN 3642058809
Libristo code 02129635
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 748
Dimensions 155 x 235 x 26

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

TOP
Delicious in Dungeon, Vol. 1 Ryoko Kui / Paperback
common.buy 13.84 €
TOP
Tales from the Loop Simon Stalenhag / Hardback
common.buy 27.39 €
TOP
Torch Against the Night Sabaa Tahir / Paperback
common.buy 11.01 €
TOP
Nevernight Jay Kristoff / Paperback
common.buy 9.80 €
TOP
Fence Vol. 1 C.S. Pacat / Paperback
common.buy 7.77 €
TOP
The Good Karma Tarot Kerry Ward / Paperback
common.buy 20.21 €
TOP
English Medieval Embroidery Clare Browne / Paperback
common.buy 40.63 €
Infinite Powers / Paperback
common.buy 12.02 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits / Hardback
common.buy 12.83 €
Dare to Sketch Felix Scheinberger / Hardback
common.buy 19.70 €
House of Flowers ASHLEE JANE / Hardback
common.buy 23.34 €
Proof Theory Takeuti / Paperback
common.buy 20.92 €
Basic Proof Theory Anne S. Troelstra / Paperback
common.buy 66.11 €
Beginning x64 Assembly Programming Jo Van Hoey / Paperback
common.buy 34.46 €
If I Had Your Face / Paperback
common.buy 17.08 €
Mary Shelley Horror Stories Mary Shelley / Hardback
common.buy 22.03 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account