Theoretical aspects of computing - ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
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.
- xii, 355 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5684 0302-9743 ; .
9783642034664 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer science--Mathematics--Congresses.
Computer programming--Congresses.
Computation by Abstract Devices.
Computer Science.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Symbolic and Algebraic Manipulation.
Theory of Computation.
QA76.9.F67 / I283 2009
004.0151
9783642034664 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer science--Mathematics--Congresses.
Computer programming--Congresses.
Computation by Abstract Devices.
Computer Science.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Symbolic and Algebraic Manipulation.
Theory of Computation.
QA76.9.F67 / I283 2009
004.0151