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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Theoretical Computer Science and General Issues ; 11884 | Springer eBooks Computer ScienceVerlag: Cham : Springer, 2019Auflage: 1st ed. 2019Beschreibung: 1 Online-Ressource (XI, 411 p. 1919 illus., 379 illus. in color)ISBN:

9783030325053

Schlagwörter:

Genre/Form:

Konferenzschrift

Andere physische Formen: 9783030325046 | Erscheint auch als: Theoretical aspects of computing - ICTAC 2019. Druck-Ausgabe Cham, Switzerland : Springer, 2019. xi, 409 pagesDDC-Klassifikation:

005.1015113 23
004.0151 23

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

QA76.9.L63 QA76.5913

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

Zusammenfassung: Models and Transition Systems -- Real-Time and Temporal Logics -- Verification and Concurrency -- Privacy and Security -- Equations, Types, and Programming LanguagesZusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare