Theoretical Aspects of Computing - ICTAC 2006 Enlarge image

Theoretical Aspects of Computing - ICTAC 2006

okładka miękka
257 zł

Wysyłamy w 7 dni


Do koszyka

Opis produktu

Theoretical Aspects of Computing - ICTAC 2006


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.

Szczegóły

Theoretical Aspects of Computing - ICTAC 2006
październik 2006
Springer-Verlag GmbH
396
3540488154
9783540488156
235 x 155 x 21

Recenzje

Napisz własną recenzję
Theoretical Aspects of Computing - ICTAC 2006

Historia przeglądania