Here, what we could find on your book search:

Shuvendu K. Lahiri

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

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Kurt Jensen and Andreas Podelski

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

Logic for Programming, Artificial Intelligence, and Reasoning

Geoff Sutcliffe and Andrei Voronkov

Check Price (10 deals)
String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf and Abdulbaki Aydin

Check Price (4 deals)
Frontiers of Combining Systems

Frontiers of Combining Systems

Bernhard Gramlich

Check Price (2 deals)
Computer Aided Verification

Computer Aided Verification

Rajeev Alur

Check Price (4 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now