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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Interactive Theorem Proving and Program Development Yves Bertot
Libristo-code: 02129635
Uitgeverij 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...
? points 207 b
85.14 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Lambda Calculus with Types Henk Barendregt / Boek Gebonden (harde band)
common.buy 108.87 €
TOP
Types and Programming Languages Pierce / Boek Gebonden (harde band)
common.buy 103.74 €
Four Pillars of Geometry John Stillwell / Boek Gebonden (harde band)
common.buy 40.20 €
TOP
Computer Networks, Global Edition Andrew Tanenbaum / Boek Gebonden (paperback)
common.buy 86.65 €
TOP
Rust For Rustaceans Jon Gjengset / Boek Gebonden (paperback)
common.buy 34.77 €
Prisma Club Prisma Team / Boek Gebonden (paperback)
common.buy 27.44 €

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.

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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 472
EAN 9783642058806
ISBN 3642058809
Libristo-code 02129635
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 748
Afmetingen 155 x 235 x 26

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

Dit vind je misschien ook interessant

Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.13 €
Let Over Lambda Doug Hoyte / Boek Gebonden (paperback)
common.buy 40.91 €
Japanese Management in the Low Growth Era Daniel Dirks / Boek Gebonden (paperback)
common.buy 102.33 €
Zariskian Filtrations i Huishi / Boek Gebonden (harde band)
common.buy 51.26 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Boek Gebonden (paperback)
common.buy 51.26 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Boek Gebonden (harde band)
common.buy 26.73 €
TOP
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Boek Gebonden (paperback)
common.buy 31.26 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Boek Gebonden (paperback)
common.buy 36.08 €
TOP
Berserk Deluxe Volume 7 Kentaro Miura / Boek Gebonden (harde band)
common.buy 41.31 €
TOP
Outwitting the Devil Napoleon Hill / Boek Gebonden (paperback)
common.buy 14.17 €
Fence Vol. 1 C.S. Pacat / Boek Gebonden (paperback)
common.buy 8.13 €
TOP
Art of Noticing Rob Walker / Boek Gebonden (harde band)
common.buy 15.87 €
Grumpy Monkey Freshly Squeezed Lang / Boek Gebonden (harde band)
common.buy 8.54 €
Poker Satellite Strategy Dara O'Kearney / Boek Gebonden (paperback)
common.buy 23.01 €
The Good Karma Tarot Kerry Ward / Drukwerk Speelkaarten
common.buy 18.89 €
TOP
Practical Engine Airflow Baechtel John Baechtel / Boek Gebonden (paperback)
common.buy 32.16 €
TOP
RaW Hero, Vol. 1 Akira Hiramoto / Boek Gebonden (paperback)
common.buy 12.05 €
Einstein's Fridge Paul Sen / Boek Gebonden (paperback)
common.buy 10.65 €
Beginning x64 Assembly Programming Jo Van Hoey / Boek Gebonden (paperback)
common.buy 33.87 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Boek Gebonden (paperback)
common.buy 20.10 €
TOP
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Boek Gebonden (paperback)
common.buy 13.46 €
TOP
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Boek Gebonden (harde band)
common.buy 13.46 €
TOP
Tales from the Loop Simon Stalenhag / Boek Gebonden (harde band)
common.buy 26.23 €
Understanding Central Europe Marcin Moskalewicz / Boek Gebonden (paperback)
common.buy 68.15 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?