New
Arrivals/Restock
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)
4.9 (114 items)
Limited Time SaleUntil the end
20
29
49
US$28.44 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used US$18.96
Product details
| Management number | 232087459 | Release Date | 2026/06/18 | List Price | US$18.96 | Model Number | 232087459 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3319677284 |
|---|---|
| ISBN13 | 978-3319677286 |
| Edition | 1st ed. 2017 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.74 x 9.25 inches |
| Item Weight | 1.01 pounds |
| Print length | 325 pages |
| Publication date | September 17, 2017 |
Bestseller ranking
Performance Unions, Couplers and Reducers
Customers who viewed this product also viewed
Intelligence & Semantics
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form