- Nyhet
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
E-bok
PDF, Engelska, 2004739 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
Del 14995
Verification, Model Checking, and Abstract Interpretation
Isabella Mastroeni, Josh Berdine, Roberto Giacobazzi
E-bok
2013739 kr
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia
E-bok
20231 798 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 479 kr
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Häftad, 2013
573 kr
- Signerad!
- Signerad!
Del 3