Cărți de Wei-Ngan Chin

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6252

Editat de Ahmed Bouajjani et al.

3 sep 2010

Preț: 332^.64 lei 415^.80 lei

3-5 săpt.

-20%

Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

Lecture Notes in Computer Science, nr. 3302

Editat de Wei-Ngan Chin

15 oct 2004

Preț: 334^.10 lei 417^.63 lei

6-8 săpt.

-20%