[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 Lennart Beringer
Libristo-Code: 01661818
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... 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

Angličtina pro překladatele Jarmila Prošvicová / Buch
common.buy 9.57 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Hardcover
common.buy 15.12 €
One Dollar Horse Lauren St John / Broschur
common.buy 10.38 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Broschur
common.buy 19.12 €
Panorama of Modern Operator Theory and Related Topics Harry Dym / Hardcover
common.buy 139.23 €
Holy Meal A Gordon T Smith / Broschur
common.buy 24.91 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Broschur
common.buy 18.11 €

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 419
EAN 9783642323461
ISBN 3642323464
Libristo-Code 01661818
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 650
Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
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