[email protected]
Wir antworten innerhalb von 24 Stunden
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Theoretical Aspects of Computing - ICTAC 2017
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical A...
Vollständige Beschreibung
Libristo-Code: 17963744
?
177 b
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
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Informationen zum Buch
Vollständiger Name
Theoretical Aspects of Computing - ICTAC 2017
Autor
Dang van Hung, Deepak Kapur
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2017
Anzahl der Seiten
305
EAN
9783319677286
ISBN
3319677284
Libristo-Code
17963744
Gewicht
4978
Abmessungen
155 x 235 x 17
