Here, what we could find on your book search:

Michael Leuschel

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 Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Sandro Etalle

Check Price (10 deals)
Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Patricia M. Hill

Check Price (10 deals)
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Robert Nieuwenhuis and Andrei Voronkov

Check Price (1 deals)
Conceptual Modeling for Novel Application Domains

Conceptual Modeling for Novel Application Domains

Manfred A. Jeusfeld and Óscar Pastor

Check Price (1 deals)
Rigorous State-Based Methods

Rigorous State-Based Methods

Uwe Glässer, Jose Creissac Campos, Dominique Méry and Philippe Palanque

Check Price (10 deals)
Perspectives of System Informatics

Perspectives of System Informatics

Dines Bjørner, Manfred Broy and Alexandre V. Zamulin

Check Price (1 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now