Mahesh Viswanathan - Böcker

Visar alla böcker från författaren Mahesh Viswanathan.

2 produkter

Kategorier

2 produkter

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

Av Susanne Graf, Mahesh Viswanathan

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Av Sungdeok Cha, Jin-Young Choi m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar