Natarajan Shankar – författare

Visar alla böcker från författaren Natarajan Shankar.

2 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

   1469 kr

   Lägg i varukorg

2. 

   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

   739 kr

   Lägg i varukorg