An edition of Theoretical Aspects of Computing -- ICTAC 2013
(2013)
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
by Zhiming Liu, Jim Woodcock, and Huibiao Zhu
Share
×Close
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.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Nov 27, 2013, Springer
paperback
3642397190 9783642397196
|
zzzz
|
2
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Jul 15, 2013, Springer
paperback
3642397174 9783642397172
|
zzzz
|
3
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
2013, Springer London, Limited
in English
3642397182 9783642397189
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| September 21, 2024 | Edited by MARC Bot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| November 12, 2020 | Edited by MARC Bot | import existing book |
| May 3, 2020 | Created by ImportBot | import new book |