Dennis Dams - Böcker
Visar alla böcker från författaren Dennis Dams.
3 produkter
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
Häftad, Engelska, 1999
709 kr
Skickas inom 10-15 vardagar
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Häftad, Engelska, 2009
1 429 kr
Skickas inom 10-15 vardagar
Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar