Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
E-bok
PDF, Engelska, 20101 408 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
Andreas Podelski, Byron Cook
E-bok
2007708 kr
Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
561 kr
Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert
Häftad, 2009
561 kr
Formal Methods for Industrial Critical Systems
Christophe Joubert, Byron Cook, Maria Alpuente
E-bok
2009708 kr
- Signerad!
Del 4
- -19%
- Nyhet
Del 2
- 4 för 3
- Signerad!
Del 11