Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Theoretical Aspects of Computing – ICTAC 2019

Theoretical Aspects of Computing – ICTAC 2019

By Robert Mark Hierons & Mohamed Mosbah Computers 25/10/2019

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. 

Read More
More Books from Robert Mark Hierons & Mohamed Mosbah
Theoretical Aspects of Computing – ICTAC 2019 Robert Mark Hierons & Mohamed Mosbah
Theoretical Aspects of Computing – ICTAC 2019
Comments