Hoppa till sidans huvudinnehåll

Dennis Dams – författare

Visar alla böcker från författaren Dennis Dams.
3 produkter

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

719 kr

Skickas inom 10-15 vardagar

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

Concurrency, Compositionality, and Correctness

Essays in Honor of Willem-Paul de Roever

AvDennis Dams,Ulrich Hannemannm. fl.

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar