What do you think?
Rate this book
Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.
328 pages, Paperback
Published September 20, 2017
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.