Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings /
Stefan Kowalewski, Anna Philippou, editors.
- Berlin : Springer 2009.
- xvi, 456 p. ; 24 cm.
- Lecture notes in computer science ; v. 5505 .
9783642007675
9783642007675
Tools and techniques Program verification Logic and meanings of programs Complexity classes Grammars Herramientas y técnicas Verificación de programas Lógica y significado de programas