Willkommen, schön sind Sie da!
Logo Ex Libris

Theoretical Aspects of Computing - ICTAC 2017

  • E-Book (pdf)
  • 305 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 20... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 77.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.

Produktinformationen

Titel: Theoretical Aspects of Computing - ICTAC 2017
Untertitel: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Editor:
EAN: 9783319677293
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer-Verlag GmbH
Genre: IT & Internet
Anzahl Seiten: 305
Veröffentlichung: 28.09.2017
Dateigrösse: 9.9 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"