Tools and Algorithms for the Construction and Analysis of Systems
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
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