Hierons / Mosbah | Theoretical Aspects of Computing – ICTAC 2019 | E-Book | www.sack.de
E-Book

E-Book, Englisch, 411 Seiten

Reihe: Lecture Notes in Computer Science

Hierons / Mosbah Theoretical Aspects of Computing – ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Erscheinungsjahr 2019
ISBN: 978-3-030-32505-3
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

E-Book, Englisch, 411 Seiten

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-32505-3
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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. 

Hierons / Mosbah Theoretical Aspects of Computing – ICTAC 2019 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Hierons, Robert Mark
Mosbah, Mohamed

Weitere Infos & Material

Models and Transition Systems.- Real-Time and Temporal Logics.- Verification and Concurrency.- Privacy and Security.- Equations, Types, and Programming Languages. 

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.