buchspektrum Internet-Buchhandlung

Neuerscheinungen 2017

Stand: 2020-02-01		 Schnellsuche
ISBN/Stichwort/Autor
 Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Dang Van Hung, Deepak Kapur (Beteiligte)

Theoretical Aspects of Computing - ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Herausgegeben von Hung, Dang Van; Kapur, Deepak
1st ed. 2017. 2017. xx, 305 S. 58 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-67728-4 (3319677284)
Neue ISBN: 978-3-319-67728-6 (9783319677286)

Preis und Lieferzeit: Bitte klicken

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.
Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.