Del 14995
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
E-bok
PDF, Engelska, 2004708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Verification, Model Checking, and Abstract Interpretation
Isabella Mastroeni, Josh Berdine, Roberto Giacobazzi
E-bok
2013708 kr
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia
E-bok
20231 722 kr
Del 13160
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Häftad, 2023
1 446 kr
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Häftad, 2013
561 kr
- -30%
- -19%
- -22%
Del 2