Cărți de Gary T. Leavens

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6217

Editat de Gary T. Leavens et al.

5 aug 2010

Preț: 331^.25 lei 414^.07 lei

22-36 zile

-20%

Transactions on Modularity and Composition I

Lecture Notes in Computer Science, nr. 9800

Editat de Shigeru Chiba et al.

10 oct 2016

Preț: 502^.35 lei 627^.94 lei

43-57 zile

-20%

Transactions on Aspect-Oriented Software Development X

Lecture Notes in Computer Science, nr. 7800

Editat de Gary T. Leavens et al.

20 feb 2013

Preț: 327^.62 lei 409^.52 lei

43-57 zile

-20%

Transactions on Aspect-Oriented Software Development IX

Lecture Notes in Computer Science, nr. 7271

Editat de Gary T. Leavens et al.

17 noi 2012

Preț: 333^.72 lei 417^.15 lei

43-57 zile

-20%

Foundations of Component-Based Systems

Editat de Gary T. Leavens et al.

20 iul 2011

Preț: 368^.64 lei 460^.80 lei

43-57 zile

-20%