By Dines Bjørner. You'll learn functional programming, imperative programming, logic programming, and parallel programming You'll learn about model-oriented and property-oriented, ie. Author Dines Bjørner.
eBay