Theoretical Aspects Of Computing Ictac 2019
Download Theoretical Aspects Of Computing Ictac 2019 full books in PDF, epub, and Kindle. Read online free Theoretical Aspects Of Computing Ictac 2019 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Theoretical Aspects of Computing – ICTAC 2019
Author | : Robert Mark Hierons |
Publisher | : Springer Nature |
Total Pages | : 413 |
Release | : 2019-10-25 |
Genre | : Computers |
ISBN | : 3030325059 |
Download Theoretical Aspects of Computing – ICTAC 2019 Book in PDF, Epub and Kindle
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 Aspects of Computing – ICTAC 2019 Related Books
Pages: 413
Pages: 124
Pages: 494
Pages: 327
Pages: 405