Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings (1st ed. 2019) (Lecture Notes in Computer Science #11884)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2019
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783030325053
- Related ISBNs:
- 9783030325046
- Publisher:
- Springer International Publishing
- Date of Addition:
- 03/14/24
- Copyrighted By:
- Springer Nature Switzerland AG
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Art and Architecture, Computers and Internet, Technology, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Robert Mark Hierons
- Edited by:
- Mohamed Mosbah
Reviews
Other Books
- by Robert Mark Hierons
- by Mohamed Mosbah
- in Nonfiction
- in Art and Architecture
- in Computers and Internet
- in Technology
- in Mathematics and Statistics
- in Philosophy