Theoretical Aspects of Computing - ICTAC 2009
Subtitle: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
By: edited by Martin Leucker, Carroll Morgan
Contributors: Morgan, Carroll; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5684
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642034657; 9783642034664
Subjects: Data processing; Computer science; Software engineering; Algebra; Information theory; Computer software