Cărți de Stefan Leue

Theoretical and Practical Aspects of SPIN Model Checking

Editat de Dennis Dams et al.

8 sep 1999

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Model Checking Software

Editat de Dragan Bosnacki et al.

27 mar 2002

Preț: 319^.96 lei 399^.94 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Editat de Stefan Leue et al.

19 mai 2008

Preț: 319^.36 lei 399^.20 lei

6-8 săpt.

-20%

Scenarios: Models, Transformations and Tools

Editat de Stefan Leue et al.

16 iun 2005

Preț: 320^.97 lei 401^.21 lei

6-8 săpt.

-20%