[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 Sandrine Blazy
Libristo-Code: 01664057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... 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

Brasilien im IBSA-Dialogforum Claudia Liebeswar / Broschur
common.buy 18.11 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Broschur
common.buy 18.11 €
Kostenfalle Messe? Anja Steinrücken / Broschur
common.buy 58.52 €
Theaterhandwerk Alan Ayckbourn / Broschur
common.buy 22.20 €
Laubgewind Jakob Chr. Heer / Broschur
common.buy 30.17 €
USA und der internationale Klimaschutz Jan Hollmann / Broschur
common.buy 18.11 €
Interactive Theorem Proving Gerwin Klein / Broschur
common.buy 70.52 €
Der Kreis Husum K. Sönnichsen / Broschur
common.buy 27.14 €
Beyond 2.0 Steve Collins / Broschur
common.buy 41.66 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 498
EAN 9783642396335
ISBN 364239633X
Libristo-Code 01664057
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 777
Abmessungen 155 x 235 x 29

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