Showing 1 - 5 of 5 Results
2.
Static Analysis by Giacobazzi, Roberto ISBN: 9783662192054 List Price: $24.99
3.
SIGPLAN 2013 Compilation CD-ROM by Giacobazzi, Roberto ISBN: 9781450321495
4.
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification by Giacobazzi, Roberto ISBN: 9781450318600 List Price: $10.00
5.
Analysis, Verification and Transformation for Declarative Programming and Intelligent System... by Lopez-Garcia, Pedro, Gallag... ISBN: 9783031314759 List Price: $139.99