Hoppa till sidans huvudinnehåll

Stefan Leue – författare

Visar alla böcker från författaren .
4 produkter
Stefan Leue, Tarja J. Systä - Scenarios: Models, Transformations and Tools, Häftad

Scenarios: Models, Transformations and Tools

International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

AvStefan Leue,Tarja J. Systä

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar

Dragan Bosnacki, Stefan Leue - Model Checking Software, Häftad

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

AvDragan Bosnacki,Stefan Leue

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek - Theoretical and Practical Aspects of SPIN Model Checking, Häftad

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

Stefan Leue, Pedro Merino - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

AvStefan Leue,Pedro Merino

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar