Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
AvFabio Somenzi,Warren A. Hunt, Jr.
E-bok
PDF, Engelska, 2011708 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
Abstraction Refinement for Large Scale Model Checking
Fabio Somenzi, Gary D. Hachtel, Chao Wang
E-bok
20061 367 kr
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Häftad, 2014
1 222 kr
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Inbunden, 2006
1 091 kr
- Signerad!
- Signerad!
- -19%