Sriram K. Rajamani – författare

Visar alla böcker från författaren Sriram K. Rajamani. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   Computer Aided Verification

   17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

   Av Kousha Etessami, Sriram K. Rajamani

   Häftad, 2005

   1129 kr

   Lägg i varukorg

   This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- …

2. 

   Computer Aided Verification

   17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

   Av Sriram K. Rajamani, Kousha Etessami

   E-bok, 2005

   1470 kr

   Lägg i varukorg

   This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- …

3. 

   Model Checking Software

   10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

   Av Thomas Ball, Sriram K. Rajamani

   Häftad, 2003

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and …

4. 

   Model Checking Software

   10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

   Av Sriram K. Rajamani, Thomas Ball

   E-bok, 2003

   732 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and …

5. 

   Verified Software: Theories, Tools, Experiments

   Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

   Av Gary T. Leavens, Peter O'Hearn m. fl.

   Häftad, 2010

   568 kr

   Lägg i varukorg

   Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing …

6. 

   Verified Software: Theories, Tools, Experiments

   Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

   Av Sriram K Rajamani, Peter O'Hearn m. fl.

   E-bok, 2010

   755 kr

   Lägg i varukorg

7. 

   Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

   Av Thomas Ball, Sriram K. Rajamani

   2014

   686 kr

   Lägg i varukorg