Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

AvStefan Edelkamp,Dragan Bosnacki

E-bok
PDF, Engelska, 2007

708 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

Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius - Computer Games, Häftad
Del 705

Computer Games

Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius

Häftad, 2017

561 kr

Julian Togelius, Michael Thielscher, Stephan Schiffel, Stefan Edelkamp, Mark H.M. Winands, Tristan Cazenave - Computer Games, E-bok

Computer Games

Julian Togelius, Michael Thielscher, Stephan Schiffel, Stefan Edelkamp, Mark H.M. Winands, Tristan Cazenave

E-bok
2017

708 kr