Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Theoretical Aspects of Computing - ICTAC 2017
CHF 76.75
Auf Lager
SKU
VD5HOVT15RJ
1 Verfügbar 
Geliefert zwischen Do., 19.02.2026 und Fr., 20.02.2026
Details
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Includes supplementary material: sn.pub/extras
Inhalt
Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security. <p
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319677286
- Genre Information Technology
- Auflage 1st ed. 2017
- Editor Dang Van Hung, Deepak Kapur
- Lesemotiv Verstehen
- Anzahl Seiten 305
- Größe H17mm x B156mm x T233mm
- Jahr 2017
- EAN 9783319677286
- Format Kartonierter Einband
- ISBN 978-3-319-67728-6
- Titel Theoretical Aspects of Computing - ICTAC 2017
- Untertitel 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- Gewicht 492g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
