Automata, Languages and Programming
Subtitle: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I (Lecture Notes in Computer Science)
Contributors: Michele Bugliesi (Editor); Bart Preneel (Editor); Vladimiro Sassone (Editor); Ingo Wegener (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Paperback
Number of pages: 729
ISBN-13: 9783540359043
Subjects: Computer Programming; Computers - General Information; Computer Books: General; Computers; Discrete Mathematics; Computer Science; Programming - Software Development; Computers / Computer Science; algorithms; automata; complexity; computational mathematics; cryptology; formal methods; logical foundations; mathematical logic; program semantics; programming theory; theoretical computer science