Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
E-bok
PDF, Engelska, 20061 470 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
Collected Papers of Albert Einstein, Volume 10 (English)
Albert Einstein, Diana Kormos Buchwald, Tilman Sauer, Ze’ev Rosenkranz, József Illy, Virginia Iris Holmes
Häftad, 2006
722 kr