Here, what we could find on your book search:

Radhia Cousot

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

Introduction to Static Analysis

Introduction to Static Analysis

Xavier Rival and Kwangkeun Yi

Check Price (4 deals)
Engineering Secure and Dependable Software Systems

Engineering Secure and Dependable Software Systems

Alexander Pretschner and Peter Müller

Check Price (7 deals)
Deductive Verification of Object-oriented Software

Deductive Verification of Object-oriented Software

Benjamin Weiß

Check Price (9 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

Check Price (6 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga

Check Price (9 deals)
Proceedings of the 1994 ACM Conference on LISP and Functional Programming

Proceedings of the 1994 ACM Conference on LISP and Functional Programming

Check Price (1 deals)
Challenges of Software Verification

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara and Martina Olliaro

Check Price (10 deals)
Programming Languages and Systems

Programming Languages and Systems

Kwangkeun Yi

Check Price (4 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free