Here, what we could find on your book search:

M. Broy

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Mathematics of Program Construction

Mathematics of Program Construction

Bernhard Möller

Check Price (8 deals)
Program Development by Specification and Transformation

Program Development by Specification and Transformation

Berthold Hoffmann and Bernd Krieg-Brückner

Check Price (2 deals)
Program Transformation and Programming Environments

Program Transformation and Programming Environments

F.L. Bauer, Peter Pepper and H. Remus

Check Price (7 deals)
Nondeterminism in Algebraic Specifications and Algebraic Programs

Nondeterminism in Algebraic Specifications and Algebraic Programs

Hussmann

Check Price (2 deals)
Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems

Insup Lee, Joseph Y-T. Leung and Sang H. Son

Check Price (8 deals)
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Martin Wirsing and Maurice Nivat

Check Price (2 deals)
Concurrency 88

Concurrency 88

Friedrich H. Vogt

Check Price (2 deals)
Computer and Information Sciences - ISCIS 2006

Computer and Information Sciences - ISCIS 2006

Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy and Yücel Saygin

Check Price (7 deals)
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher

Check Price (5 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free