Stefan Leue – författare & böcker | Akademibokhandeln

Stefan Leue – författare

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
AvStefan Leue,Tarja J. Systä
Häftad, Engelska, 2005
739 kr
Skickas inom 10-15 vardagar
Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
AvDragan Bosnacki,Stefan Leue
Häftad, Engelska, 2002
739 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
AvDennis Dams,Robert Gerthm. 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
AvStefan Leue,Pedro Merino
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar