Theoretical Aspects of Computing - ICTAC 2005
Subtitle: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Dang Van Hung (Editor); Martin Wirsing (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 14, 2005
Language: eng
Format: Paperback
Number of pages: 614
ISBN-13: 9783540291077
Subjects: General Theory of Computing; Programming Languages - General; Computers; Computers - General Information; Computer Books: General; Computer Science; Networking - General; Computers / Computer Science; automata theory; component systems; concurrent systems; distributed computing; formal languages; formal methods; formal verification; Congresses; Congráes; Electronic data processing; Information theory; Informatique