Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
AvGerman Puebla,Manuel Hermenegildo
E-bok
PDF, Engelska, 2003708 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
Programming Languages: Implementations, Logics and Programs
Manuel Hermenegildo, S.Doaitse Swierstra
Häftad, 1995
561 kr
Verification, Model Checking, and Abstract Interpretation
Manuel Hermenegildo, Gilles Barthe
E-bok
2010708 kr
Programming Language Implementation and Logic Programming
Manuel Hermenegildo, Jaan Penjam
Häftad, 1994
561 kr
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo
Häftad, 2010
561 kr