Here, what we could find on your book search:

Natasha Sharygina

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

A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Paula Herber

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

Hardware and Software: Verification and Testing

Sharon Barner, Ian Harris, Daniel Kroening and Orna Raz

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

Hardware and Software: Verification and Testing

Ofer Strichman and Rachel Tzoref-Brill

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

Hardware and Software: Verification and Testing

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

Check Price (6 deals)
Handbook of Satisfiability

Handbook of Satisfiability

Armin Biere, Hans van Maaren and Toby Walsh

Check Price (6 deals)
Test and Analysis of Web Services

Test and Analysis of Web Services

Luciano Baresi

Check Price (4 deals)
Computer Aided Verification

Computer Aided Verification

Kousha Etessami

Check Price (10 deals)
Validation of Evolving Software

Validation of Evolving Software

Hana Chockler, Daniel Kroening, Leonardo Mariani and Natasha Sharygina

Check Price (8 deals)
Software Verification

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan and Natasha Sharygina

Check Price (8 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now