- Nyhet
Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
AvStefan Edelkamp,Dragan Bosnacki
734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).