CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 20 of 20 Results
1.
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%)
2.
Program Construction
Program Construction by Bauer, F. L., Broy, M. ISBN: 9783540092513 List Price: $49.95
$66.19
3.
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%)
4.
Formal Systems Specification The Rpc-Memory Specification Case Study
Formal Systems Specification The Rpc-Memory Specification Case Study by Broy, M., Merz, S., Spies, K. ISBN: 9783540619840 List Price: $99.00
$52.33 (Save 47%)
5.
Methods of Programming: Selected Papers on the CIP Project
Methods of Programming: Selected Papers on the CIP Project by Broy, M., Wirsing, M. ISBN: 9783540545767 List Price: $49.95
$52.33
6.
Control Flow and Data Flow : Concepts of Distributed Programming
Control Flow and Data Flow : Concepts of Distributed Programming by Broy, M. ISBN: 9783540170822 List Price: $99.00
$101.14
7.
Software and Systems Safety: Specification and Verification - Volume 30 NATO Science for Pea...
Software and Systems Safety: Specification and Verification - Volume 30 NATO Science for Pea... by M. Broy, C. Leuxner, T. Hoare ISBN: 9781607507109 List Price: $196.00

OUT OF STOCK

See Availability on Amazon
8.
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for ...
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for ... by M. Broy, W. Sitou and T. Hoare ISBN: 9781586039769 List Price: $174.00

OUT OF STOCK

See Availability on Amazon
9.
Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design C...
Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design C... by Broy, M. ISBN: 9783540569435 List Price: $139.00
$204.85
10.
Methods of Programming Selected Papers on the Cip-Project
Methods of Programming Selected Papers on the Cip-Project by Broy, Manfred, Wirsing, M.,... ISBN: 9780387545769 List Price: $44.95

OUT OF STOCK

See Availability on Amazon
11.
Software Systems Reliability and Security - Volume 9 NATO Security through Science Series: I...
Software Systems Reliability and Security - Volume 9 NATO Security through Science Series: I... by M. Broy ISBN: 9781586037314 List Price: $183.00

OUT OF STOCK

See Availability on Amazon
12.
Models, Algebras, and Logic of Engineering Software
Models, Algebras, and Logic of Engineering Software by Broy, M., Pizka, Markus ISBN: 9784274905896

OUT OF STOCK

See Availability on Amazon
13.
Engineering Theories of Software Construction
Engineering Theories of Software Construction by Hoare, Tony, Broy, M., Stei... ISBN: 9784274904356

OUT OF STOCK

See Availability on Amazon
14.
Directory of Computer Programs for Assessment of Radioactive Waste Disposal
Directory of Computer Programs for Assessment of Radioactive Waste Disposal by Ashton, J., Broyed, T. W., ... ISBN: 9789282651797

OUT OF STOCK

See Availability on Amazon
15.
Constructive Methods in Computing Science : International Summer School Directed by F. L. Ba...
Constructive Methods in Computing Science : International Summer School Directed by F. L. Ba... by Bauer, F. L., Broy, M., Dij... ISBN: 9783642748868 List Price: $99.00
$101.14
16.
Theoretical Foundations of Programming Methodology
Theoretical Foundations of Programming Methodology by Broy, M., Schmidt, Gunther ISBN: 9789400978942 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
17.
Logic of Programming and Calculi of Discrete Design
Logic of Programming and Calculi of Discrete Design by Bauer, F., Broy, M., Dijkst... ISBN: 9783642873751 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Constructive Methods in Computing Science
Constructive Methods in Computing Science by Bauer, F. L., Broy, M., Dij... ISBN: 9783642748851 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
19.
Program Construction
Program Construction by Bauer, Friedrich L. Bauer F... ISBN: 9783662178669 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
20.
Künstliche Intelligenz (Edition Universitas) (German Edition)
Künstliche Intelligenz (Edition Universitas) (German Edition) by m-broy-bernhard-irrgang-jor... ISBN: 9783804711228

OUT OF STOCK

See Availability on Amazon