by D. Bjørner
No reviews yet. Be the first!
Logics of specification languages
Formal methods in programming and their ...
Formal methods and hybrid real-time syst...
Software engineering
The Vienna development method
Reachability Problems
Artificial general intelligence
Computer Games
Logical Foundations of Computer Science
Language and Automata Theory and Applica...
An introduction to formal languages and ...