Here, what we could find on your book search:

Bjorner Dines

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).

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones, Zhiming Liu and Jim Woodcock

Check Price (10 deals)
Domain Science and Engineering

Domain Science and Engineering

Dines Bjørner

Check Price (2 deals)
Practical Foundations of Business System Specifications

Practical Foundations of Business System Specifications

Haim Kilov and Ken Baclavski

Check Price (8 deals)
Requirements Targeting Software and Systems Engineering

Requirements Targeting Software and Systems Engineering

Manfred Broy and Bernhard Rumpe

Check Price (9 deals)
Programming Methodology

Programming Methodology

Annabelle Mclver and Carroll Morgan

Check Price (10 deals)
Correct System Design

Correct System Design

Ernst-Rüdiger Olderog and Bernhard Steffen

Check Price (2 deals)
The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

D. Bjorner and C.B. Jones

Check Price (10 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now