Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th...
Vollständige Beschreibung
Libristo-Code: 01664057
?
132 b
132 b
53.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
14.59
€
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.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Interactive Theorem Proving
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2013
Anzahl der Seiten
498
EAN
9783642396335
ISBN
364239633X
Libristo-Code
01664057
Gewicht
777
Abmessungen
155 x 235 x 29
Kategorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse
>
Elektronik, Nachrichtentechnik
>
Elektronik
>
Regelungstechnik
>
Robotik
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Algorithmen und Datenstrukturen
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Software Engineering
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 geliefertDas könnte Sie auch interessieren
/
Hardcover
40.69
€
/
Broschur
6.49
€
