Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
E-bok
PDF, Engelska, 20101 459 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
2007739 kr
Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
571 kr
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
- 10% rabatt på allt
Del 11
- 10% rabatt på allt
Del 3
- Signerad!
Del 3
- Signerad!
- -19%