Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
571 kr
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
E-bok
PDF, Engelska, 2007739 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
Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert
Häftad, 2009
571 kr
Formal Methods for Industrial Critical Systems
Christophe Joubert, Byron Cook, Maria Alpuente
E-bok
2009739 kr
Del 11028
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Häftad, 2004
1 135 kr
Tools and Algorithms for the Construction and Analysis of Systems
Andreas Podelski, Kurt Jensen
E-bok
20041 470 kr
Verified Software: Theories, Tools, Experiments
Andreas Podelski, Peter Muller, Rajeev Joshi
E-bok
2012739 kr
Del 11002