Leucker, Martin.
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / [electronic resource] : edited by Martin Leucker, Carroll Morgan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5684 0302-9743 ; . - Lecture Notes in Computer Science, 5684 .
9783642034664
10.1007/978-3-642-03466-4 doi
Computer science.
Software engineering.
Information theory.
Computer software.
Algebra--Data processing.
Computer Science.
Computation by Abstract Devices.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / [electronic resource] : edited by Martin Leucker, Carroll Morgan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5684 0302-9743 ; . - Lecture Notes in Computer Science, 5684 .
9783642034664
10.1007/978-3-642-03466-4 doi
Computer science.
Software engineering.
Information theory.
Computer software.
Algebra--Data processing.
Computer Science.
Computation by Abstract Devices.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151