Cărți de Dennis Dams

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%

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ț: 325^.79 lei 407^.24 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ț: 646^.38 lei 807^.97 lei

6-8 săpt.

-20%