Here, what we could find on your book search:

Egon Börger

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

Logic, Computation and Rigorous Methods

Logic, Computation and Rigorous Methods

Alexander Raschke, Elvinia Riccobene and Klaus-Dieter Schewe

Check Price (5 deals)
Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis

Jean-Raymond Abrial and Uwe Glässer

Check Price (7 deals)
Integrated Formal Methods

Integrated Formal Methods

John Derrick, Stefania Gnesi, Diego Latella and Helen Treharne

Check Price (8 deals)
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Andrei Voronkov

Check Price (2 deals)
Computer Science Logic

Computer Science Logic

Hans Kleine Büning

Check Price (6 deals)
Logic Programming

Logic Programming

Joxan Jaffar

Check Price (6 deals)
Current Trends in Theoretical Computer Science

Current Trends in Theoretical Computer Science

Gheorghe P?un and Arto Salomaa

Check Price (2 deals)
Abstract State Machines

Abstract State Machines

Egon Börger and Robert Stärk

Check Price (9 deals)
Handbook of Conceptual Modeling

Handbook of Conceptual Modeling

David W. Embley and Bernhard Thalheim

Check Price (9 deals)
Abstract State Machines, Alloy, B, VDM, and Z

Abstract State Machines, Alloy, B, VDM, and Z

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves and Elvinia Riccobene

Check Price (7 deals)
2011

2011

Check Price (10 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now