IndianBookWorms

Here, what we could find on your book search:

Orna Kupferman

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

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

S. Akshay, Aina Niemetz and Sriram Sankaranarayanan

Check Price (8 deals)
Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

Alan J. Hu and Andrew K. Martin

Check Price (7 deals)
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Parosh Aziz Abdulla and Delia Kesner

Check Price (8 deals)
Automata Theory

Automata Theory

Javier Esparza and Michael Blondin

Check Price (7 deals)
Dependable Software Systems Engineering

Dependable Software Systems Engineering

J. Esparza, O. Grumberg and S. Sickert

Check Price (5 deals)
ECAI 2023

ECAI 2023

Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein and Roxana Radulescu

Check Price (1 deals)
ECAI 2020

ECAI 2020

Giuseppe De Giacomo, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang

Check Price (3 deals)
FOCS 2004

FOCS 2004

Check Price (4 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2025 indianbookworms | Part of Diagramz network.