Interactive Theorem Proving And Program Development(1st Edition)
Authors:
Yves Bertot
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540208542, 978-3540208549
Book publisher: Springer
Book Price $0 : Coq Is An Interactive Proof Assistant For The Development Of Mathematical Theories And Formally Certified Software. It Is Based On A Theory Called The Calculus Of Inductive Constructions, A Variant Of Type Theory.This Book Provides A Pragmatic Introduction To The Development Of Proofs And Certified Programs Using Coq. With Its Large Collection Of Examples And Exercises It Is An Invaluable Tool For Researchers, Students, And Engineers Interested In Formal Methods And The Development Of Zero-fault Software.
Customers also bought these books
Fault-Tolerance Techniques For High-Performance Computing - 1st Edition
Thomas Herault
ISBN: 3319209434, 9783319209432
$103.6 $148.00
Leadership Theory Application and Skill Development - 5th edition
Robert N. Lussier
ISBN: 9781111827076, 1111827079, 978-1285127361
$0 $9.26
Managing Controlling and Improving Quality - 1st edition
Douglas C. Montgomery
ISBN: 471697915, 978-0471697916
$0 $69.95
Formal Methods Foundations And Applications 12th Brazilian Symposium On Formal Methods Sbmf 2009 Gramado Brazil August 19 21 2009 Revised - 1st Edition
Marcel Vinicius Medeiros Oliveira
ISBN: 3642104517, 978-3642104510
$0 $33.09
Mathematical Foundations Of Computer Science 1989 Porabka Kozubnik Poland August 28 September 1 1989 Proceedings - 1st Edition
Antoni Kreczmar
ISBN: 3540514864, 978-3540514862
$0 $54.99
Dictionnaire Bilingue De Linformatique Franais Et Anglais French And English Data Processing Dictionary - 1st Edition
Peter Collin
ISBN: 2840016354, 978-2840016359
$0 $21.51
Evolutionary Computation In Gene Regulatory Network Research - 1st Edition
Hitoshi Iba
ISBN: B01AYO47SM, 978-1119079781
$97.9 $139.85
Refinement Semantics Languages And Applications - 1st Edition
John Derrick
ISBN: B07FZW51DQ, 978-3319927114
$0 $49.82
Best Practices For Financial Advisors - 1st Edition
Alice Von Simson
ISBN: 1576600068, 978-1576600061
$0 $33.32
The Food Explorer The True Adventures Of The Globe Trotting Botanist Who Transformed What America Eats - 1st Edition
Daniel Stone
ISBN: 1101990597, 978-1101990599
$0 $11.50
Discrete and Combinatorial Mathematics An Applied Introduction - 5th edition
Ralph P. Grimaldi
ISBN: 201726343, 978-0201726343
$0 $28.47
Strategic Management A Competitive Advantage Approach Concepts And Cases - 17th Edition
Fred David
ISBN: 0135173949, 9780135173947
$104.64 $149.49
Principle Based Parsing Computation And Psycholinguistics - 1st Edition
R C Berwick S P Abney C L Tenny
ISBN: 0792316371, 978-0792316374
$98.06 $140.08
Compiling Natural Semantics - 1st Edition
Mikael Pettersson
ISBN: 3540659684, 978-3540659686
$0 $54.99Popular Among Students
A Handbook Of Human Resource Management Practice - 7th Edition
Michael Armstrong
ISBN: 074942964X, 9780585399416
$152.6 $218.00
How To Be A Diversity And Inclusion Ambassador Everyone S Role In Helping All Feel Accepted Engaged And Valued - 1st Edition
Celeste R. Warren
ISBN: 1523001453, 978-1523001453
$0 $14.86
Brag Worry Wonder Bet A Manager S Guide To Giving Feedback - 1st Edition
Steve King
ISBN: 1475968744, 978-1475968743
$0 $9.95
Change Leader The Changes You Need To Make First - 1st Edition
Jen Frahm
ISBN: 0648087964, 978-0648087960
$0 $24.26
Supply Chain Management Inventory Control Human Resource Management And Customer Service - 1st Edition
Louis Bevoc
ISBN: 1537489682, 978-1537489681
$0 $8.95
The Direct Use Of Coal Prospects And Problems Of Production And Combustion - 1st Edition
Office Of Technology Assessment
ISBN: 0894991663, 978-0894991660
$0 $51.00
Interactive Theorem Proving And Program Development Coq Art The Calculus Of Inductive Constructions - 1st Edition
Yves Bertot
ISBN: 3642058809, 978-3642058806
$56.7 $81.00
Set Theory The Third Revised And Expanded - Millennium Edition
Thomas Jech
ISBN: 3642078990, 978-3642078996
$115.69 $165.27
Structured Object Oriented Formal Language And Method 6th International Workshop Sofl+msvl 20 Tokyo Japan November 15 20 - 1st Edition
Shaoying Liu
ISBN: 3319577077, 978-3319577074
$0 $52.51
Recent Trends In Algebraic Development Techniques 12th International Workshop Wadt 97 Tarquinia Italy June 3 7 1997 Selected Papers - 1998 Edition
Francesco Parisi-presicce
ISBN: 3540642994, 978-3540642992
$0 $46.06
Soulcollage Evolving An Intuitive Collage Process For Self Discovery And Community - 1st Edition
Seena B Frost
ISBN: 1592750214, 978-1592750214
$0 $11.95
The Books Of The Bible Covenant History - 1st Edition
Staff
ISBN: 1563207478, 978-1563207471
$0 $13.80