Buy books written by Roberto Giacobazzi Available at Bookswagon
Roberto Giacobazzi

Roberto Giacobazzi

4 results found
List viewGrid view
Sort By:
1.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
International Edition
Ships within 14-16 Days Explain..
2.
Verification, Model Checking, and Abstract Interpretation
International Edition
Ships within 14-16 Days Explain..
4.
Verification, Model Checking, and Abstract Interpretation
Out of Stock
Notify me when this book is in stockNotify Me
No more records found