Image from Amazon.com
Reachability problems [electronic resource] : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / edited by Olivier Bournez, Igor Potapov.
Series: Lecture notes in computer science ; 5797Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: x, 232 pages : illustrations, digitalISBN:- 9783642044205
- RP 2009
- Computer systems -- Verification -- Congresses
- Decidability (Mathematical logic) -- Congresses
- Configurations -- Congresses
- Computation by Abstract Devices
- Mathematics of Computing
- Theory of Computation
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
- 003 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.