Sie haben keine Artikel im Korb.

Theoretical Aspects of Computing ¿ ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31 ¿ November 4, 2019, Proceedings
Autor: Mohamed (Hrsg.) Mosbah
CHF 78.85
ISBN: 978-3-030-32504-6
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: Folgt in ca. 5 Arbeitstagen
+ -

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.

Autor Mohamed (Hrsg.) Mosbah
Verlag Springer International Publishing
Einband Kartonierter Einband (Kt)
Erscheinungsjahr 2019
Seitenangabe 424 S.
Lieferstatus Folgt in ca. 5 Arbeitstagen
Ausgabekennzeichen Englisch
Abbildungen Paperback
Masse H23.5 cm x B15.5 cm x D2.3 cm 639 g
Auflage 1st ed. 2019
Reihe Theoretical Computer Science and General Issues

Weitere Titel von Mohamed (Hrsg.) Mosbah

Kategorien