Robert Gerth - Böcker

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

1 produkt

Kategorier

1 produkt

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 Gerth,Stefan Leue,Mieke Massinek

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar