Here, what we could find on your book search:

Hongseok Yang

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

Programming Languages and Systems

Programming Languages and Systems

Nobuko Yoshida

Check Price (9 deals)
Engineering Methods and Tools for Software Safety and Security

Engineering Methods and Tools for Software Safety and Security

M. Broy, W. Sitou and T. Hoare

Check Price (3 deals)
Computer Science Logic

Computer Science Logic

Jerzy Marcinkowski

Check Price (9 deals)
Introduction to Static Analysis

Introduction to Static Analysis

Xavier Rival and Kwangkeun Yi

Check Price (6 deals)
Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt and Mattias Ulbrich

Check Price (7 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now