Dennis Dams - Böcker

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

3 produkter

Kategorier

3 produkter

Del 1680

Del 1680 - Lecture Notes in Computer Science

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

Av Dennis Dams, Robert Gerth m. fl

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar

FM 2009: Formal Methods

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

Av Ana Cavalcanti, Dennis Dams

Häftad, Engelska, 2009

1 459 kr

Skickas inom 10-15 vardagar

Concurrency, Compositionality, and Correctness

Essays in Honor of Willem-Paul de Roever

Av Dennis Dams, Ulrich Hannemann m. fl

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar