CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Compositionality The Significant Difference International Symposium, Compos '97, Bad Malent...
Compositionality The Significant Difference International Symposium, Compos '97, Bad Malent... by De Roever, W. P., Langmaack... ISBN: 9783540654933 List Price: $108.00
$103.17 (Save 4%)
2.
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Org...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Org... by Langmaack, H., De Roever, W... ISBN: 9783540584681 List Price: $120.00
$103.17 (Save 14%)
3.
Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Orga...
Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Orga... by Langmaack, H., De Roever, W... ISBN: 9780387584683 List Price: $102.00

OUT OF STOCK

See Availability on Amazon
4.
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
5.
Hygiene Auf Intensivstationen
Hygiene Auf Intensivstationen by Langmaack, H., Scherer-Klei... ISBN: 9783540106029 List Price: $69.95
$55.84 (Save 20%)
6.
Handbook for Automatic Computation: Volume I Part b (Grundlehren der mathematischen Wissens...
Handbook for Automatic Computation: Volume I Part b (Grundlehren der mathematischen Wissens... by Albert A. Grau, U. Hill, H.... ISBN: 9783642869396 List Price: $99.00
$51.31 (Save 48%)
7.
Handbook for Automatic Computation
Handbook for Automatic Computation by A Grau, Albert, Hill, U., L... ISBN: 9783642869389 List Price: $24.99

OUT OF STOCK

See Availability on Amazon