by D. Bjørner , Jones, C. B.
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
Categories and computer science
The Standard ML basis library
Concurrent Programming in ML
The definition of standard ML
Elementary Standard ML
The functional approach to programming