CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, WrocÅ...
Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, WrocÅ... by Bjørner, Nikolaj, Sofronie... ISBN: 9783642224379 List Price: $107.00
$51.31 (Save 52%)
2.
Software Engineering 2 : Specification of Systems and Languages
Software Engineering 2 : Specification of Systems and Languages by Bjørner, Dines ISBN: 9783642059407 List Price: $119.00
$51.31 (Save 56%)
3.
Software Engineering 3 : Domains, Requirements, and Software Design
Software Engineering 3 : Domains, Requirements, and Software Design by Bjørner, Dines ISBN: 9783642059414 List Price: $115.00
$110.19 (Save 4%)
4.
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An...
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An... by Bjørner, Dines ISBN: 9783642059391 List Price: $119.00
$92.08 (Save 22%)