Cărți de Natarajan Shankar

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5295

Editat de Natarajan Shankar et al.

22 sep 2008

Preț: 326^.20 lei 407^.76 lei

6-8 săpt.

-20%

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4130

Editat de Ulrich Furbach et al.

3 aug 2006

Preț: 652^.14 lei 815^.18 lei

6-8 săpt.

-20%