Cărți de Sriram K. Rajamani

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ț: 324^.60 lei 405^.74 lei

22-36 zile

-20%

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3576

Editat de Kousha Etessami et al.

24 iun 2005

Preț: 648^.71 lei 810^.88 lei

43-57 zile

-20%

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2648

Editat de Thomas Ball et al.

28 apr 2003

Preț: 324^.60 lei 405^.74 lei

43-57 zile

-20%