Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

by Jim Woodcock, Zhiming Liu, Huibiao Zhu

Join Readfeed freeFind clubs reading this bookBrowse readable books
About
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Discuss Theoretical Aspects of Computing -- ICTAC 2013 with other readers

Join or start a book club for Theoretical Aspects of Computing -- ICTAC 2013 on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Theoretical Aspects of Computing -- ICTAC 2013?

Sign up free on Readfeed, then browse public clubs or start your own club with Theoretical Aspects of Computing -- ICTAC 2013 as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Theoretical Aspects of Computing -- ICTAC 2013 with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Theoretical Aspects of Computing -- ICTAC 2013 with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.