Stefan Leue - Böcker

Visar alla böcker från författaren Stefan Leue.

4 produkter

Kategorier

4 produkter

Scenarios: Models, Transformations and Tools

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

Av Stefan Leue, Tarja J. Systä

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

Av Dragan Bosnacki, Stefan Leue

Häftad, Engelska, 2002

729 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

Av Dennis Dams, Robert Gerth m. fl

Häftad, Engelska, 1999

729 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

Av Stefan Leue, Pedro Merino

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar