1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development
Theoretical Aspects of Computing – ICTAC 2017

Theoretical Aspects of Computing – ICTAC 2017

by Dang Van Hung and Deepak Kapur
Epub (Kobo), Epub (Adobe)
Publication Date: 28/09/2017
Be the first to write a review

Share This eBook:

  $76.99
Add to List

This item is delivered digitally

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.

ISBN:
9783319677293
9783319677293
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
28-09-2017
Language:
English
Publisher:
Springer International Publishing

This item is delivered digitally

You can find this item in:

Computer programming / software development Compilers Artificial intelligence Computer science
Show more Show less

Reviews

Be the first to review Theoretical Aspects of Computing – ICTAC 2017.