CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 14 of 14 Results
1.
Logics of Specification Languages
Logics of Specification Languages by Bjorner, Dines, Henson, Mar... ISBN: 9783540741060 List Price: $139.00
$155.49
2.
Software Engineering Specification Of Systems And Languages
Software Engineering Specification Of Systems And Languages by Bjorner, Dines, Madsen, Chr... ISBN: 9783540211501 List Price: $119.00
$49.91 (Save 58%)
3.
Software Engineering 3 Domains, Requirements, And Software Design
Software Engineering 3 Domains, Requirements, And Software Design by Bjorner, Dines ISBN: 9783540211518 List Price: $115.00
$96.46 (Save 16%)
4.
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) by Bjorner, Dines, Henson, Mar... ISBN: 9783642093456 List Price: $139.00
$155.49
5.
Software Engineering 2: Specification of Systems and Languages
Software Engineering 2: Specification of Systems and Languages by Dines Bjorner ISBN: 9788181287854

OUT OF STOCK

See Availability on Amazon
6.
Perspectives of System Informatics
Perspectives of System Informatics by Bjorner, Dines, Broy, Manfr... ISBN: 9783662177105 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
SOFTWARE ENGINEERING 1: ABSTRACTION AND MODELLING
SOFTWARE ENGINEERING 1: ABSTRACTION AND MODELLING by BJORNER DINES ISBN: 9788181287847

OUT OF STOCK

See Availability on Amazon
8.
Software Engineering, Set Of 3 Volume
Software Engineering, Set Of 3 Volume by Bjorner Dines ISBN: 9788181287861

OUT OF STOCK

See Availability on Amazon
9.
Perspectives of System Informatics
Perspectives of System Informatics by Bjorner, Dines, Broy, Manfr... ISBN: 9783662194317 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Baltic Computer Science
Baltic Computer Science by Barzdins, Janis, Bjorner, D... ISBN: 9783662168769 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Perspectives of System Informatics
Perspectives of System Informatics by Bjorner, Dines, Broy, Manfr... ISBN: 9783662164921 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
VDM '87. VDM - a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March...
VDM '87. VDM - a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March... by Bjorner, Dines, Jones, Clif... ISBN: 9783662166529 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Formal Methods in Programming and Their Applications : International Conference, Academgorod...
Formal Methods in Programming and Their Applications : International Conference, Academgorod... by Bjorner, Dines, Broy, Manfr... ISBN: 9783662169018 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development by Bjorner, Dines, Hoare, C.A.... ISBN: 9783662186312 List Price: $24.99

OUT OF STOCK

See Availability on Amazon