[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Gerwin Klein
Libristo-Code: 02779852
Verlag Springer International Publishing AG, Juni 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Na půl žerdi Heda Bartíková / Broschur
common.buy 3.72 €
Kant's Critical Philosophy Gilles Deleuze / Broschur
common.buy 29.45 €
Iconoclastic Fervor Hillary Sullivan / Broschur
common.buy 30.76 €
Held ohne Gewalt Wilhelm Meissel / Hardcover
common.buy 24.22 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Broschur
common.buy 44.99 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Broschur
common.buy 8.02 €
Bhagavad Gita Gavin Flood / Broschur
common.buy 23.20 €
Interactive Theorem Proving Sandrine Blazy / Broschur
common.buy 70.52 €
International Faust Studies Ehrhard Bahr / Broschur
common.buy 70.21 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Broschur
common.buy 49.60 €
Eleventh International Seaweed Symposium Carolyn J. Bird / Hardcover
common.buy 413.67 €
Kreativnye mysli Evgenij Shepel' / Broschur
common.buy 43.88 €
Like Cats and Dogs Steven Heine / Broschur
common.buy 66.78 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Hardcover
common.buy 39.94 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving
Autor Gerwin Klein, Ruben Gamboa
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 555
EAN 9783319089690
ISBN 3319089692
Libristo-Code 02779852
Verlag Springer International Publishing AG
Gewicht 8657
Abmessungen 155 x 235 x 30

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Netzwerksicherheit
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computersicherheit
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

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