Cărți de Stefan Leue

Theoretical and Practical Aspects of SPIN Model Checking

Editat de Dennis Dams et al.

8 sep 1999

Preț: 321^.74 lei 402^.18 lei

43-57 zile

-20%

Formal Methods for Industrial Critical Systems

Editat de Stefan Leue et al.

19 mai 2008

Preț: 320^.32 lei 400^.41 lei

43-57 zile

-20%

Scenarios: Models, Transformations and Tools

Editat de Stefan Leue et al.

16 iun 2005

Preț: 321^.94 lei 402^.43 lei

43-57 zile

-20%