Theoretical Aspects of Computing – ICTAC 2019

Released on by Robert Mark Hierons
preview-18

  • Theoretical Aspects of Computing – ICTAC 2019 Book Detail

  • Author : Robert Mark Hierons
  • Release Date : 2019-10-25
  • Publisher : Springer Nature
  • Genre : Computers
  • Pages : 413
  • ISBN 13 : 3030325059
  • File Size : 95,95 MB
DOWNLOAD BOOK

Theoretical Aspects of Computing – ICTAC 2019 by Robert Mark Hierons PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Theoretical Aspects of Computing – ICTAC 2019 books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.