Saxo Access
Indkøbskurv
  3. Theoretical Aspects of Computing - ICTAC 2019
Theoretical Aspects of Computing - ICTAC 2019 (e-bog) af -
Mosbah, Mohamed (redaktør)

Theoretical Aspects of Computing - ICTAC 2019 e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 transi...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Mosbah, Mohamed (redaktør)
Forlag Springer
Udgivet 25 oktober 2019
Genrer TJFM1
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783030325053

Beskrivelse

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.