Implementation and application of automata 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / [electronic resource] :
CIAA 2009
edited by Sebastian Maneth.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xi, 261 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5642 0302-9743 ; .
Machine theory--Congresses. Computation by Abstract Devices. Software Engineering. Logics and Meanings of Programs. System Performance and Evaluation. Algorithm Analysis and Problem Complexity. Computer Science. Mathematical Logic and Formal Languages.