Mahesh Viswanathan – författare

Visar alla böcker från författaren Mahesh Viswanathan. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   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, 2015

   568 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing …

2. 

   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 Mahesh Viswanathan, Susanne Graf

   E-bok, 2015

   755 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing …

3. 

   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, 2008

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were …

4. 

   Automated Technology for Verification and Analysis

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

   Av Mahesh Viswanathan, Moonzoo Kim m. fl.

   E-bok, 2008

   732 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were …