Robert Gerth - Böcker

Visar alla böcker från författaren Robert Gerth.
1 produkt
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek - Theoretical and Practical Aspects of SPIN Model Checking, Häftad
Del 1680 - Lecture Notes in Computer Science

Theoretical and Practical Aspects of SPIN Model Checking

Av Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar