Here, what we could find on your book search:

Martin Blicha

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 – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver and José N. Oliveira

Check Price (7 deals)

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar and Lijun Zhang

Check Price (9 deals)

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

Nina Narodytska and Philipp Rümmer

Check Price (3 deals)

Integrated Formal Methods

Paula Herber and Anton Wijs

Check Price (3 deals)

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

Alexander Nadel and Kristin Yvonne Rozier

Check Price (2 deals)

Computer Aided Verification

Sharon Shoham and Yakir Vizel

Check Price (7 deals)

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

Alberto Griggio, Neha Rungta, Georg Weissenbacher and Warren A. Hunt, Jr.

Check Price (6 deals)

The Logica Yearbook 2018

Martin Blicha and Igor Sedlar

Check Price (4 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now