Image from Amazon.com
Theoretical aspects of computing - ICTAC 2009 [electronic resource] : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / edited by Martin Leucker, Carroll Morgan.
Series: Lecture notes in computer science ; 5684Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: xii, 355 p. : ill., digital ; 24 cmISBN:- 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
- 004.0151 22
- QA76.9.F67 I283 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.