03066nam 22006975 450 991034926780332120230222101223.03-030-32505-910.1007/978-3-030-32505-3(CKB)4100000009678444(MiAaPQ)EBC5968239(DE-He213)978-3-030-32505-3(PPN)256178704(EXLCZ)99410000000967844420191025d2019 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTheoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings /edited by Robert Mark Hierons, Mohamed Mosbah1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (xi, 411 pages)Theoretical Computer Science and General Issues,2512-2029 ;11884Includes index.3-030-32504-0 Models and Transition Systems -- Real-Time and Temporal Logics -- Verification and Concurrency -- Privacy and Security -- Equations, Types, and Programming Languages. .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. .Theoretical Computer Science and General Issues,2512-2029 ;11884Computer scienceMachine theoryComputer visionMachine learningRoboticsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer VisionMachine LearningRoboticsComputer science.Machine theory.Computer vision.Machine learning.Robotics.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Computer Vision.Machine Learning.Robotics.004005.1015113Hierons Robert Markedthttp://id.loc.gov/vocabulary/relators/edtMosbah Mohamededthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349267803321Theoretical Aspects of Computing – ICTAC 20192508177UNINA