Stefan Leue – författare
Visar alla böcker från författaren Stefan Leue. Handla med fri frakt och snabb leverans.
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
719 kr
Skickas inom 10-15 vardagar
Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Häftad, Engelska, 2002
719 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
719 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
719 kr
Skickas inom 10-15 vardagar