9783319677286 - Theoretical Aspects of Computing - ICTAC 2017 Kartoniert (TB)

EAN: 9783319677286

Produktdaten aktualisiert am: 12.03.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3319677284 
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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319677286
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum