Cărți de Mahesh Viswanathan

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9039

Editat de Susanne Graf et al.

13 mai 2015

Preț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5311

Editat de Sungdeok Cha et al.

6 oct 2008

Preț: 334^.30 lei 417^.87 lei

6-8 săpt.

-20%