Tallenna
Theoretical Aspects of Computing -- ICTAC 2013
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 papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
- Alaotsikko
- 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
- Toimittaja
- Zhiming Liu, Jim Woodcock, Huibiao Zhu
- Painos
- 2013 ed.
- ISBN
- 9783642397172
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 15.7.2013
- Sivumäärä
- 445
