Cărți de Farn Wang

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3731

Editat de Farn Wang

26 sep 2005

Preț: 633^.70 lei 792^.12 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Editat de Farn Wang

19 oct 2004

Preț: 633^.38 lei 791^.72 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9965

Editat de Augusto Sampaio et al.

22 sep 2016

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%