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
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 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
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
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I...
Vollständige Beschreibung
Libristo-Code: 01661818
?
148 b
148 b
60.39
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-18 Tagen
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
26.69
€
/
Broschur
53.39
€
/
Broschur
51.19
€
/
Broschur
18.95
€
/
Broschur
17.95
€
/
Broschur
17.95
€
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.
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
Autor
Lennart Beringer, Amy Felty
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2012
Anzahl der Seiten
419
EAN
9783642323461
ISBN
3642323464
Libristo-Code
01661818
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
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
/
Broschur
18.79
€
