CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 19 of 19 Results
1.
Software Engineering 1 Abstraction And Modelling
Software Engineering 1 Abstraction And Modelling by Bjorner, D. ISBN: 9783540211495 List Price: $119.00
$103.17 (Save 13%)
2.
Vdm'87 Vdm-A Formal Method at Work Vdm-Europe Symposium 1987
Vdm'87 Vdm-A Formal Method at Work Vdm-Europe Symposium 1987 by Bjorner, D., Jones, C. B., ... ISBN: 9780387176543 List Price: $59.95

OUT OF STOCK

See Availability on Amazon
3.
Perspectives of System Informatics Second International Andrei Ershov Memorial Conference Ak...
Perspectives of System Informatics Second International Andrei Ershov Memorial Conference Ak... by Bjorner, D., Broy, Manfred,... ISBN: 9783540620648 List Price: $98.00
$52.33 (Save 46%)
4.
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications by Bjorner, D., Broy, M., Pott... ISBN: 9783540573166 List Price: $82.95
$52.33 (Save 36%)
5.
Baltic Computer Science
Baltic Computer Science by Barzdins, J., Bjorner, D. ISBN: 9783540541318 List Price: $96.00
$103.17
6.
VDM '87
VDM '87 by Bjorner, D. ISBN: 9783540176541 List Price: $71.95
$52.33 (Save 27%)
7.
The Vienna Development Method
The Vienna Development Method by Bjorner, D., Jones, C. B. ISBN: 9783540087663 List Price: $26.00
$31.99
8.
Towards a Formal Description of ADA
Towards a Formal Description of ADA by Bjorner, D., Oest, O. N. ISBN: 9783540102830 List Price: $84.95
$6.67 (Save 92%)
9.
Abstract Software Specifications
Abstract Software Specifications by Bjorner, D. ISBN: 9783540100072 List Price: $39.00
$56.95
10.
Persectives on System Informatics Revised Papers of the 4th International Andrei Ershov Memo...
Persectives on System Informatics Revised Papers of the 4th International Andrei Ershov Memo... by Bjorner, D., Broy, M., Zamu... ISBN: 9783540430759 List Price: $94.00
$52.33 (Save 44%)
11.
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science) by Bjorner, D., Hoare, C. A., ... ISBN: 9780387525136 List Price: $77.95

OUT OF STOCK

See Availability on Amazon
12.
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Ev...
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Ev... by Bjorner, D., Ershov, A. P.,... ISBN: 9780444704917 List Price: $207.50

OUT OF STOCK

See Availability on Amazon
13.
Vienna Development Method: The Meta - Language
Vienna Development Method: The Meta - Language by Bjorner, D., Jones, C. B. ISBN: 9780387087665 List Price: $26.00

OUT OF STOCK

See Availability on Amazon
14.
Vienna Development Method : The Meta-Language
Vienna Development Method : The Meta-Language by Bjorner, D., Jones, C. B. ISBN: 9783662181713 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
15.
Towards a Formal Description of ADA
Towards a Formal Description of ADA by Bjorner, D., Oest, O. N. ISBN: 9783662213568 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
16.
Abstract Software Specifications
Abstract Software Specifications by Bjorner, D. ISBN: 9783662202869 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
17.
Baltic Computer Science Selected Papers
Baltic Computer Science Selected Papers by Barzdins, J., Bjorner, D. ISBN: 9780387541310 List Price: $84.95

OUT OF STOCK

See Availability on Amazon
18.
Formal Description of Programming Concepts, II
Formal Description of Programming Concepts, II by Bjorner, D. ISBN: 9780444866196 List Price: $66.75

OUT OF STOCK

See Availability on Amazon
19.
Abstract Software Specifications 1979 Copenhagen Winter School, January 22-February 2, 1979 ...
Abstract Software Specifications 1979 Copenhagen Winter School, January 22-February 2, 1979 ... by Bjorner, D. ISBN: 9780387100074 List Price: $39.00

OUT OF STOCK

See Availability on Amazon