Theoretical Aspects of Computing - ICTAC 2006
Subtitle: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)
Contributors: Kamel Barkaoui (Editor); Ana Cavalcanti (Editor); Antonio Cerone (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 20, 2006
Language: eng
Format: Paperback
Number of pages: 371
ISBN-13: 9783540488156
Subjects: General Theory of Computing; Computers; Computers - General Information; Computer Books: General; Computer Science; Networking - General; Programming - Software Development; Computers / Computer Science; automata theory; component systems; concurrent systems; cooperative systems; distributed computing; formal languages; formal methods; formal verification; logical foundations; mobility; model checking; Logic Design