Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
5 Products
5 Products Page
of 1
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications
Dines Bjørner
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Domain Science and Engineering
Domain Science and Engineering
Dines Bjørner
Hardback
£149.99
Usually dispatched within 7 days
Logics of Specification Languages
Logics of Specification Languages
Dines Bjørner
Paperback
£171
Print on demand - Usually dispatched within 7-10 days
Software Engineering 2
Software Engineering 2 : Specification of Systems and Languages
Dines Bjørner
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Software Engineering 1
Software Engineering 1 : Abstraction and Modelling
Dines Bjørner
Paperback
£74.99
Print on demand - Usually dispatched within 7-10 days