Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings / edited by Robert Mark Hierons, Mohamed Mosbah

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Theoretical Computer Science and General Issues ; 11884 | Springer eBooks Computer SciencePublisher: Cham : Springer, 2019Edition: 1st ed. 2019Description: 1 Online-Ressource (XI, 411 p. 1919 illus., 379 illus. in color)ISBN:

9783030325053

Subject(s):

Genre/Form:

Konferenzschrift

Additional physical formats: 9783030325046 | Erscheint auch als: Theoretical aspects of computing - ICTAC 2019. Druck-Ausgabe Cham, Switzerland : Springer, 2019. xi, 409 pagesDDC classification:

005.1015113 23
004.0151 23

MSC: MSC: *68-06 | 68Qxx | 00B25LOC classification:

QA76.9.L63 QA76.5913

DOI: DOI: 10.1007/978-3-030-32505-3Online resources:

Summary: Models and Transition Systems -- Real-Time and Temporal Logics -- Verification and Concurrency -- Privacy and Security -- Equations, Types, and Programming LanguagesSummary: 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 languagesPPN: PPN: 1681716585Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record