For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
C R Ramakrishnan
C R Ramakrishnan is the author of "Model Checking Software", "Practical Aspects of Declarative Languages" and "Tools and Algorithms for the Construction and Analysis of Systems".
Books by C R Ramakrishnan
View more
Model Checking So...
Bartocci Ezio
Electronic book text:
$83.00
Model Checking So...
Bartocci Ezio
Paperback:
Model Checking So...
Bartocci Ezio
Paperback:
$54.99
Practical Aspects...
Ramakrishnan C. R.
Paperback:
$54.99