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