Hoppa till sidans huvudinnehåll

Mahesh Viswanathan – författare

Visar alla böcker från författaren Mahesh Viswanathan.
2 produkter
Susanne Graf, Mahesh Viswanathan - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
Del 9039 - Lecture Notes in Computer Science

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

AvSusanne Graf,Mahesh Viswanathan

Häftad, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar

Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

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

AvSungdeok Cha,Jin-Young Choim. fl.

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar