Theoretical Aspects of Computing – ICTAC 2019
by Robert Mark Hierons 2020-04-16 20:09:33
image1
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 pape... Read more
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.  Less
  • Publication date
  • Language
  • ISBN
  • October 25, 2019
  • eng
  • 9783030325053
Compare Prices
image
PDF (drm free, digitally watermarked)
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books