Theoretical Computer Science
Subtitle: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
By: edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer
Contributors: Ball, Tom; Boer, Frank S. de; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7604
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642334757
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Information theory; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer science; Theory of Computation; Mathematics of Computing; Computer software