Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)

★★★★★ 4.6 70 reviews

US$18.96
Price when purchased online
Free shipping Free 30-day returns

Sold and shipped by yoshicursojapones.com.br
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$18.96
Price when purchased online
Free shipping Free 30-day returns

How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jul 9
Free
Pickup
Check nearby
Delivery
Not available

Sold and shipped by yoshicursojapones.com.br
Free 30-day returns Details

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

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

Customer ratings & reviews

4.6 out of 5
★★★★★
70 ratings | 29 reviews
How item rating is calculated
View all reviews
5 stars
84% (59)
4 stars
3% (2)
3 stars
2% (1)
2 stars
1% (1)
1 star
10% (7)
Sort by

There are currently no written reviews for this product.