Theoretical Aspects of Computing - ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
(Sprache: Englisch)
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...
The 17 revised full papers presented together with three invited talks...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Theoretical Aspects of Computing - ICTAC 2017 “
Klappentext zu „Theoretical Aspects of Computing - ICTAC 2017 “
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.
Inhaltsverzeichnis zu „Theoretical Aspects of Computing - ICTAC 2017 “
Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.Bibliographische Angaben
- 2017, 1st ed. 2017, XX, 305 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Dang Van Hung, Deepak Kapur
- Verlag: Springer, Berlin
- ISBN-10: 3319677284
- ISBN-13: 9783319677286
- Erscheinungsdatum: 17.09.2017
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Computing - ICTAC 2017"
0 Gebrauchte Artikel zu „Theoretical Aspects of Computing - ICTAC 2017“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Computing - ICTAC 2017".
Kommentar verfassen