Nir Piterman, Scott A. Smolka
Tools and Algorithms for the Construction and Analysis of Systems
- Springer 2013
- Lecture Notes in Computer Science .
9783642367427
Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Languages, Compilers, Interpreters