Showing 1 - 4 of 4 Results
2.
Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, WrocÅ... by Bjørner, Nikolaj, Sofronie... ISBN: 9783642224379 List Price: $107.00
3.
Software Engineering 2 : Specification of Systems and Languages by Bjørner, Dines ISBN: 9783642059407 List Price: $119.00
4.
Software Engineering 3 : Domains, Requirements, and Software Design by Bjørner, Dines ISBN: 9783642059414 List Price: $115.00