Giacobazzi Roberto Giacobazzi

Giacobazzi Roberto Giacobazzi

4 results found
List viewGrid view
Sort By:
1.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems37 %
Available
Ships within 12-14 Days Explain..
2.
Verification, Model Checking, and Abstract Interpretation37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
07 Jan 2013
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Verification, Model Checking, and Abstract Interpretation1 % NR
Out of Stock
Notify me when this book is in stockNotify Me
No more records found