Robert Gerth – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek - Theoretical and Practical Aspects of SPIN Model Checking, Häftad

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

AvDennis Dams,Robert Gerthm. fl.

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar