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ț: 326^.55 lei 408^.19 lei

3-5 săpt.

-20%

Programming Languages and Systems

Editat de Wei-Ngan Chin

15 oct 2004

Preț: 329^.95 lei 412^.43 lei

6-8 săpt.

-20%

Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14777

Editat de Wei-Ngan Chin et al.

15 iul 2024

Preț: 683^.92 lei 854^.89 lei

6-8 săpt.

-20%