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