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.

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Certified Programs and Proofs Jean-Pierre Jouannaud
Libristo-code: 01659274
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Boek Gebonden (paperback)
common.buy 50.53 €
TOP
Aquascaping Oliver Knott / Boek Gebonden (harde band)
common.buy 26.93 €
Das Neue Testament Heinrich Ogilvie / Boek Gebonden (harde band)
common.buy 24.20 €
Das kleine Gespenst Otfried Preußler / Boek Gebonden (harde band)
common.buy 10.93 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Boek Gebonden (paperback)
common.buy 22.88 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Boek Gebonden (paperback)
common.buy 28.86 €
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 3.33 €
Wordt verwacht
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Boek Gebonden (paperback)
common.buy 55.70 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Boek Gebonden (paperback)
common.buy 18.02 €
Krutosť Nicola Lagioia / Boek Gebonden (harde band)
common.buy 18.73 €
La poma Iwamura Kazuo / Boek Gebonden (paperback)
common.buy 16.30 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Boek Gebonden (paperback)
common.buy 20.04 €
Les Élections Et Les Cahiers de Paris En 1789: Paris Hors Les Murs (Volume Publié Sous Le Patronage Du Conseil Général de la Seine Charles-Louis Chassin / Boek Gebonden (paperback)
common.buy 29.77 €
Adrian Flemming Marinus Lester Cerdic / Boek Gebonden (paperback)
common.buy 10.93 €
Zásah Šípem Iva Šípová / Boek Gebonden (harde band)
common.buy 7.18 €
Aleman para ninos: Mi Papa Es El Mejor: Libro infantil ilustrado espa?ol-alemán (Edición bilingüe), bilingue aleman espa?ol, Aleman Libro Sujatha Lalgudi / Boek Gebonden (paperback)
common.buy 10.12 €
TOP
Save Us Mona Kasten / Boek Gebonden (paperback)
common.buy 11.94 €
24 Ore Marco Bartiromo / Boek Gebonden (paperback)
common.buy 10.83 €
Estimular y aprender JESUS JARQUE GARCIA / Boek Gebonden (paperback)
common.buy 24.40 €
Kunst - Das andere Memo-Spiel / Spel/speelgoed Spel
common.buy 11.64 €

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

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 Certified Programs and Proofs
Auteur Jean-Pierre Jouannaud, Zhong Shao
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 401
EAN 9783642253782
ISBN 3642253784
Libristo-code 01659274
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 633
Afmetingen 155 x 235 x 23

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Boek Gebonden (paperback)
common.buy 51.75 €
English Dictionary Essential Collins Dictionaries / Boek Gebonden (harde band)
common.buy 12.65 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Boek Gebonden (paperback)
common.buy 8.60 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Boek Gebonden (paperback)
common.buy 21.26 €
The Nightmare Feast Andrew Klavan / Boek Gebonden (harde band)
common.buy 24.60 €
Voordelig
Hand on the Wall Maureen Johnson / Boek Gebonden (harde band)
common.buy 7.69 €
Narrative of a Blockade-Runner J WILKINSON / Boek Gebonden (harde band)
common.buy 38.38 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Boek Gebonden (harde band)
common.buy 31.69 €
Benjamin Banneker Katie Marsico / Boek Gebonden (paperback)
common.buy 12.04 €
Queen in 3-D Brian May / Boek Gebonden (harde band)
common.buy 34.12 €
Sinkholes / Boek Gebonden (harde band)
common.buy 33.11 €
India's True Voice Alvin Boyd Kuhn / Boek Gebonden (paperback)
common.buy 35.44 €
Euphony The Sound of Life Daniel Levy / Boek Gebonden (paperback)
common.buy 28.35 €
Big Apple Patricia Mackin / Boek Gebonden (paperback)
common.buy 14.88 €
TOP
Star Wars: Darth Maul Cullen Bunn / Boek Gebonden (paperback)
common.buy 15.79 €
Wordt verwacht
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Boek Gebonden (harde band)
common.buy 21.06 €
Ministry of Disturbance and Other SF H. Beam Piper / Boek Gebonden (paperback)
common.buy 14.47 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Boek Gebonden (paperback)
common.buy 22.37 €
Play Dates Leslie Sara Carroll / Boek Gebonden (paperback)
common.buy 13.16 €
TOP
Fragile World Kerby Rosanes / Boek Gebonden (paperback)
common.buy 10.83 €
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 31.69 €
High Strength Steels Mingxin Huang / Boek Gebonden (paperback)
common.buy 261.81 €
TOP
ISE Fundamentals of Aerodynamics John Anderson / Boek Gebonden (paperback)
common.buy 70.99 €
Rebellion in Patagonia Osvaldo Bayer / E-book Adobe ePub DRM
common.buy 25.11 €

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