Natarajan Shankar – författare

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

4 produkter

1. 

   Automated Reasoning

   Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

   Av Ulrich Furbach, Natarajan Shankar

   Häftad, 2006

   1128 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.The 41 …

2. 

   Automated Reasoning

   Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

   Av Natarajan Shankar, Ulrich Furbach

   E-bok, 2006

   1470 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs. The 41 …

3. 

   Verified Software: Theories, Tools, Experiments

   Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

   Av Natarajan Shankar, Jim Woodcock

   Häftad, 2008

   568 kr

   Lägg i varukorg

   This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. …

4. 

   Verified Software: Theories, Tools, Experiments

   Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

   Av Jim Woodcock, Natarajan Shankar

   E-bok, 2008

   755 kr

   Lägg i varukorg

   This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. …