Stefan Leue - Böcker

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

Scenarios: Models, Transformations and Tools

Av Stefan Leue, Tarja J. Systä

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar
Dragan Bosnacki, Stefan Leue - Model Checking Software, Häftad
Del 2318 - Lecture Notes in Computer Science

Model Checking Software

Av Dragan Bosnacki, Stefan Leue

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek - Theoretical and Practical Aspects of SPIN Model Checking, Häftad
Del 1680 - Lecture Notes in Computer Science

Theoretical and Practical Aspects of SPIN Model Checking

Av Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar
Stefan Leue, Pedro Merino - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av Stefan Leue, Pedro Merino

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar