Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9783642198359
- Computer science
- Computer Communication Networks
- Software engineering
- Logic design
- Artificial intelligence
- Computer Science
- Software Engineering
- Logics and Meanings of Programs
- Computer Communication Networks
- Programming Languages, Compilers, Interpreters
- Artificial Intelligence (incl. Robotics)
- Programming Techniques
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.