Cărți de Dennis Dams

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

Lecture Notes in Computer Science, nr. 5930

Editat de Dennis Dams et al.

24 feb 2010

Preț: 338^.68 lei 423^.35 lei

3-5 săpt.

-20%

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5850

Editat de Ana Cavalcanti et al.

26 oct 2009

Preț: 672^.36 lei 840^.45 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%