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

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Certified Programs and Proofs Chris Hawblitzel
Libristo-code: 01662768
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Volledige beschrijving
? points 125 b
51.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

EFT - svoboda emocí Ramona B. Wagner / Boek Gebonden (paperback)
common.buy 3.83 €
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Boek Blad
common.buy 20.78 €
Correlacion / Boek Gebonden (paperback)
common.buy 35.62 €
Erbarmen mit den Männern Sophie R. Knaak / Boek Gebonden (paperback)
common.buy 19.17 €
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Boek Gebonden (paperback)
common.buy 24.72 €
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Boek Gebonden (paperback)
common.buy 31.98 €
Russland ALS Autoritares System Kay Renner / Boek Gebonden (paperback)
common.buy 15.23 €
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Boek Gebonden (paperback)
common.buy 24.21 €
Metaverzum Ball / Boek Gebonden (harde band)
common.buy 23.91 €
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Boek Gebonden (paperback)
common.buy 34.91 €

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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 Chris Hawblitzel, Dale Miller
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 305
EAN 9783642353079
ISBN 364235307X
Libristo-code 01662768
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 486
Afmetingen 155 x 235 x 18

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

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Boek Gebonden (harde band)
common.buy 72.36 €
Wordt verwacht Nieuw
The Problem of Passing Sandra Harvey / Boek Gebonden (paperback)
common.buy 28.35 €
Mara Plants a Seed Robert Furrow / Boek Gebonden (paperback)
common.buy 17.85 €
Hex and Hexability Kate Johnson / Boek Gebonden (paperback)
common.buy 9.68 €
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Boek Gebonden (paperback)
common.buy 24.01 €
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Boek Gebonden (paperback)
common.buy 30.67 €
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Boek Gebonden (paperback)
common.buy 13.31 €
Who Was Che Guevara? Ellen Labrecque / Boek Gebonden (paperback)
common.buy 6.25 €
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Boek Gebonden (paperback)
common.buy 57.72 €
The Scarlet Letter Nathaniel Hawthorne / Boek Gebonden (harde band)
common.buy 21.79 €
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Boek Gebonden (paperback)
common.buy 17.35 €
Improving Project Performance Jerry L Wellman / Boek Gebonden (harde band)
common.buy 41.37 €
Little Black Songbook Tom Waits / Boek Boek
common.buy 18.06 €
Dark Tort Diane Mott Davidson / Boek Gebonden (paperback)
common.buy 8.77 €
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Boek Gebonden (paperback)
common.buy 73.87 €

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?