Hoppa till sidans huvudinnehåll

Dennis Dams – författare

Visar alla böcker från författaren .
3 produkter
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

Ana Cavalcanti, Dennis Dams - FM 2009: Formal Methods, Häftad

FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

AvAna Cavalcanti,Dennis Dams

Häftad, Engelska, 2009

1 439 kr

Skickas inom 10-15 vardagar

Dennis Dams, Ulrich Hannemann, Martin Steffen - Concurrency, Compositionality, and Correctness, Häftad

Concurrency, Compositionality, and Correctness

Essays in Honor of Willem-Paul de Roever

AvDennis Dams,Ulrich Hannemannm. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar