Dennis Dams - Böcker

Visar alla böcker från författaren Dennis Dams.
3 produkter
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
Ana Cavalcanti, Dennis Dams - FM 2009: Formal Methods, Häftad

FM 2009: Formal Methods

Av Ana Cavalcanti, Dennis Dams

Häftad, Engelska, 2009

1 459 kr

Skickas inom 7-10 vardagar
Dennis Dams, Ulrich Hannemann, Martin Steffen - Concurrency, Compositionality, and Correctness, Häftad

Concurrency, Compositionality, and Correctness

Av Dennis Dams, Ulrich Hannemann, Martin Steffen

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar