Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Paperback, 1st ed. 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.
R2,540
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
25400
@R238pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer International Publishing AG |
Country of origin | Switzerland |
Series | Theoretical Computer Science and General Issues, 10580 |
Release date | September 2017 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2017 |
Editors | Dang Van Hung, Deepak Kapur |
Dimensions | 235 x 155mm (L x W) |
Format | Paperback |
Pages | 305 |
Edition | 1st ed. 2017 |
ISBN-13 | 978-3-319-67728-6 |
Barcode | 9783319677286 |
Categories | |
LSN | 3-319-67728-4 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
