Here, what we could find on your book search:

Shmuel Ur

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

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Sharon Barner, Ian Harris, Daniel Kroening and Orna Raz

Check Price (4 deals)
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Kerstin Eder, João Lourenҫo and Onn Shehory

Check Price (7 deals)
Multicore Software Engineering, Performance, and Tools

Multicore Software Engineering, Performance, and Tools

João M. Lourenço and Eitan Farchi

Check Price (9 deals)
Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

Tiziana Margaria and Tom Melham

Check Price (9 deals)
Computer Aided Systems Theory – EUROCAST 2017

Computer Aided Systems Theory – EUROCAST 2017

Roberto Moreno-Díaz, Franz Pichler and Alexis Quesada-Arencibia

Check Price (4 deals)
Runtime Verification

Runtime Verification

Koushik Sen and Sarfaz Khurshid

Check Price (9 deals)
Proceedings of the ACM 2001 Java Grande/ISCOPE Conference

Proceedings of the ACM 2001 Java Grande/ISCOPE Conference

ACM Special Interest Group on Programming Languages

Check Price (8 deals)
IEEE, ACM International Conference on Computer Aided Design

IEEE, ACM International Conference on Computer Aided Design

International Conference on Computer Aided Design. Institute of Electrical and Electronics Engineers, 2000, San José, Calif..

Check Price (8 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now