Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030325040 ISBN 13: 9783030325046
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,53
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 424 pages. 9.25x6.10x0.91 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030325040 ISBN 13: 9783030325046
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Zustand: Neu. Theoretical Aspects of Computing - ICTAC 2019 | 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings | Robert Mark Hierons (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030325046 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.