Hoppa till sidans huvudinnehåll

Stefan Leue - Böcker

Visar alla böcker från författaren Stefan Leue.
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

739 kr

Skickas inom 10-15 vardagar
Del 2318 - Lecture Notes in Computer Science

Model Checking Software

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

Av Dragan Bosnacki, Stefan Leue

Häftad, Engelska, 2002

739 kr

Skickas inom 10-15 vardagar
Del 1680 - Lecture Notes in Computer Science

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

739 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

739 kr

Skickas inom 10-15 vardagar