Opening book details…
Can I read Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings on EtoBox?
Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings by Robert Mark Hierons; Robert M Hierons; Mohamed Mosbah is a nonfiction available to read on EtoBox.
What is Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings about?
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019. The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions. The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.
Who reads Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Robert Mark Hierons; Robert M Hierons; Mohamed Mosbah
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2019
- Language
- EN
- ISBN
- 9783030325053
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Robert Mark Hierons; Robert M Hierons; Mohamed Mosbah
Browse all works by Robert Mark Hierons; Robert M Hierons; Mohamed Mosbah
Similar books
- Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings — Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (2011)
- Theoretical aspects of computing - ICTAC 2012 : 9th international colloquium, Bangalore, India, September 24-27, 2012 : proceedings — S. Akshay, Blaise Genest, Loïc Hélouët (auth.), Abhik Roychoudhury, Meenakshi D’Souza (2012)
- Theoretical Aspects of Computing – ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings — Violet Ka I Pun, Volker Stolz, Adenilso Simao (2020)
- Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings — Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (2010)
- Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science (8049)) — Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (2013)
- Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science (5160)) — J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (2008)