Stefan Leue - Böcker
Visar alla böcker från författaren Stefan Leue.
4 produkter
4 produkter
Scenarios: Models, Transformations and Tools
International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Häftad, Engelska, 2005
709 kr
Skickas inom 10-15 vardagar
Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Häftad, Engelska, 2002
709 kr
Skickas inom 10-15 vardagar
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
Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Häftad, Engelska, 2008
709 kr
Skickas inom 10-15 vardagar