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 (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.58 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Lambda Calculus with Types Henk Barendregt / Boek Gebonden (harde band)
common.buy 109.43 €
Types and Programming Languages Pierce / Boek Gebonden (harde band)
common.buy 110.34 €
Four Pillars of Geometry John Stillwell / Boek Gebonden (harde band)
common.buy 40.41 €
TOP
Computer Networks, Global Edition Andrew Tanenbaum / Boek Gebonden (paperback)
common.buy 113.57 €
TOP
Rust For Rustaceans Jon Gjengset / Boek Gebonden (paperback)
common.buy 34.55 €
TOP
Prisma Club Prisma Team / Boek Gebonden (paperback)
common.buy 28.89 €

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.75 €
Let Over Lambda Doug Hoyte / Boek Gebonden (paperback)
common.buy 41.12 €
A Lambda Calculus Satellite Giulio Manzonetto / Boek Gebonden (paperback)
common.buy 41.22 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Boek Gebonden (paperback)
common.buy 31.42 €
Interactive Television Demystified Jerry Whitaker / Boek Gebonden (paperback)
common.buy 45.87 €
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.87 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Boek Gebonden (paperback)
common.buy 36.27 €
Understanding Central Europe Marcin Moskalewicz / Boek Gebonden (paperback)
common.buy 69.11 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Boek Gebonden (paperback)
common.buy 20.20 €
TOP
Berserk Deluxe Volume 7 Kentaro Miura / Boek Gebonden (harde band)
common.buy 43.14 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Boek Gebonden (harde band)
common.buy 13.53 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Boek Gebonden (paperback)
common.buy 13.03 €
TOP
Tales from the Loop Simon Stalenhag / Boek Gebonden (harde band)
common.buy 27.07 €
TOP
The Good Karma Tarot Kerry Ward / Drukwerk Speelkaarten
common.buy 18.99 €
Armenian History Captivating History / Boek Gebonden (paperback)
common.buy 15.75 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Boek Gebonden (paperback)
common.buy 57.19 €
TOP
Infinite Powers Steven (Author) Strogatz / Boek Gebonden (paperback)
common.buy 10.40 €
TOP
RaW Hero, Vol. 1 Akira Hiramoto / Boek Gebonden (paperback)
common.buy 12.12 €
Beginning x64 Assembly Programming Jo Van Hoey / Boek Gebonden (paperback)
common.buy 34.04 €
Programming with Types Vlad Riscutia / Boek Gebonden (paperback)
common.buy 54.15 €
Einstein's Fridge Paul Sen / Boek Gebonden (paperback)
common.buy 11.51 €
Practical Engine Airflow Baechtel John Baechtel / Boek Gebonden (paperback)
common.buy 32.33 €
Poker Satellite Strategy Dara O'Kearney / Boek Gebonden (paperback)
common.buy 23.13 €
TOP
Art of Noticing Rob Walker / Boek Gebonden (harde band)
common.buy 15.96 €

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