Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Certified Programs and Proofs Georges Gonthier
Libristo-Code: 02207279
Verlag Springer International Publishing AG, November 2013
This book constitutes the refereed proceedings of the Third International Conference on Certified Pr... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

In the Psychology of Belief - Heretics - Bold Journeys with the Enemies of Science Will Store / E-Book Adobe ePub DRM
common.buy 15.99 €
Voyage Au Pays Des Roubles Via Munich Et Berlin (1877) Ivan Golovin / Buch Broschur
common.buy 31.99 €
Biblijski Stihovi za Decu od 2-6 Godina Boyana Atwood / Buch Broschur
common.buy 13.19 €
Pack Huella de carbono / Buch Broschur
common.buy 141.79 €
Chroniques dilettantes Philippe Bélaval / Buch Broschur
common.buy 36.79 €
¿Pero esto también es matemática? ADRIAN PAENZA / Buch Broschur
common.buy 21.19 €
Zbiór kazusów z prawa socjalnego / Buch Broschur
common.buy 15.19 €
Vie de Mgr H.-L. de Quelen, Archeveque de Paris De Grandmaison De Bruno-G / Buch Broschur
common.buy 18.09 €
Feng Shui 2016 Adrien Silverstone / Buch Broschur
common.buy 33.99 €
Auswirkungen von Gehaltsobergrenzen unter besonderer Berucksichtigung von professionellen Sportligen Christoffer Winter / Buch Broschur
common.buy 101.29 €
Älteste Deutsche Dichtungen Karl Wolfskehl / Buch Broschur
common.buy 33.49 €
Rucklagenbildung bei gemeinnutzigen Koerperschaften als Mittel der periodenubergreifenden Selbstfinanzierung Josef Schoberer / Buch Broschur
common.buy 18.95 €
Schadensersatz als Enttäuschungsverarbeitung. Stephan Meder / Buch Broschur
common.buy 55.49 €

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013.§The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections in code verification, elegant proofs, proof libraries, certified transformations and security.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Certified Programs and Proofs
Autor Georges Gonthier, Michael Norrish
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 309
EAN 9783319035444
ISBN 3319035444
Libristo-Code 02207279
Verlag Springer International Publishing AG
Gewicht 498
Abmessungen 155 x 235 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Don't Pet The Dragon C Michael Davis / Buch Broschur
common.buy 18.19 €
Poems of American Partriotism J. Brander Matthews / Buch Broschur
common.buy 23.89 €
Don't Worry 'Bout The Bear Jim Simpson / Buch Broschur
common.buy 26.49 €
The Spongebob Movie: Sponge on the Run: Happy Campers! (Spongebob Squarepants) David Lewman / Buch Broschur
common.buy 5.79 €
Happy Narwhalidays CLANTON BEN / Buch Broschur
common.buy 9.19 €
Conversion of the Roman Empire CHARLES MERIVALE / Buch Broschur
common.buy 30.79 €
Living Privately in Public: Research on Social Media and Responsibility Tlu Krost Symposium 2011 / Buch Broschur
common.buy 7.49 €
Bamagirlluvsu: A brutally honest and entertaining expose about cyber dating Sandy Gowers / Buch Broschur
common.buy 13.49 €
Gardens of Green Lynn M. Dixon / Buch Broschur
common.buy 12.79 €
Warrior Mother Sheila Collins / Buch Broschur
common.buy 14.29 €
Hidden History of Portland, Oregon J. D. Chandler / Buch Broschur
common.buy 19.39 €
In Defense of the Founders Republic Lonce H. Bailey / Buch Hardcover
common.buy 215.89 €
Glimpses of Bengal - Selected from the Letters of Sir Rabindranath Tagore 1885-1895 Rabindranath Tagore / Buch Broschur
common.buy 13.89 €
Kant's Conception Of God F.E. England / Buch Hardcover
common.buy 44.89 €
Snake Chinese Horoscope & Astrology 2022 Zhouyi Feng Shui / Buch Broschur
common.buy 10.29 €
Paths of Revolution Gilly / Buch Broschur
common.buy 32.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?