Cărți de Stefan Leue

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4916

Editat de Stefan Leue et al.

19 mai 2008

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3466

Editat de Stefan Leue et al.

16 iun 2005

Preț: 332^.39 lei 415^.49 lei

6-8 săpt.

-20%

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2318

Editat de Dragan Bosnacki et al.

27 mar 2002

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1680

Editat de Dennis Dams et al.

8 sep 1999

Preț: 332^.24 lei 415^.30 lei

6-8 săpt.

-20%