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 theory of the finite state syntax di...
The Vienna development method
2001
Les Robots
Advances in Computers, Volume 49 (Advanc...
Prey
Neuromancer
Artemis Fowl and the Eternity Code