Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Interactive Theorem Proving and Program Development Yves Bertot
Libristo-code: 02129535
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Volledige beschrijving
? points 292 b
120.75 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Dit vind je misschien ook interessant

Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (paperback)
common.buy 85.58 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Boek Gebonden (paperback)
common.buy 61.03 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Boek Gebonden (paperback)
common.buy 31.92 €
Interactive Video Riad Hammoud / Boek Gebonden (paperback)
common.buy 102.86 €
Interactive Theorem Proving Matt Kaufmann / Boek Gebonden (paperback)
common.buy 115.59 €
Interactive Theorem Proving Marko Van Eekelen / Boek Gebonden (paperback)
common.buy 61.03 €
Interactive Theorem Proving Lennart Beringer / Boek Gebonden (paperback)
common.buy 61.03 €
Deyrolle: French Botanical Art Emmanuelle Polle / Boek Gebonden (paperback)
common.buy 21.31 €
Dance of the Serpents Oscar de Muriel / Boek Gebonden (paperback)
common.buy 12.62 €
Relentless: 12 Rounds to Success Eddie Hearn / Boek Gebonden (harde band)
common.buy 26.06 €
Recollections of My Non-Existence / Boek Gebonden (harde band)
common.buy 14.14 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Boek Gebonden (paperback)
common.buy 39.20 €
TOP
Lost Spells Robert Macfarlane / Boek Gebonden (harde band)
common.buy 14.14 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Boek Gebonden (paperback)
common.buy 35.46 €
Fighters Across Frontiers Ismee Tames / Boek Gebonden (harde band)
common.buy 38.90 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Boek Gebonden (paperback)
common.buy 6.76 €
Cute Hand Lettering / Boek Gebonden (paperback)
common.buy 13.94 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Boek Gebonden (paperback)
common.buy 10.30 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Boek Gebonden (paperback)
common.buy 10.30 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Boek Gebonden (paperback)
common.buy 12.12 €
TOP
In the Ruins of Neoliberalism Wendy Brown / Boek Gebonden (paperback)
common.buy 28.89 €
Layout Essentials Revised and Updated Beth Tondreau / Boek Gebonden (paperback)
common.buy 28.28 €
TOP
Building Microservices Sam Newman / Boek Gebonden (paperback)
common.buy 59.81 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Boek Gebonden (paperback)
common.buy 12.62 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Interactive Theorem Proving and Program Development
Auteur Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2004
Aantal pagina's 472
EAN 9783540208549
ISBN 3540208542
Libristo-code 02129535
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 912
Afmetingen 163 x 239 x 36

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken