- 10% rabatt på allt
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
AvSriram K Rajamani,Peter O'Hearn
E-bok
PDF, Engelska, 2010739 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
Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad, 2010
571 kr
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Thomas Ball, Sriram K. Rajamani
672 kr