číslo produktu:108327
rezervujTheoretical Aspects of Computing - ICTAC 2006
Rok vydania: 2006
Vydavateľ: Springer
Kniha je momentálne nedostupná.
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
O knihe:
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on semantics, concurrency, model checking, formal languages, logics and type theory, as well as real-time and mobility.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: mäkká