Sriram K. Rajamani - Böcker

Visar alla böcker från författaren Sriram K. Rajamani.

3 produkter

Kategorier

3 produkter

Computer Aided Verification

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

Av Kousha Etessami, Sriram K. Rajamani

Häftad, Engelska, 2005

1 439 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

Av Thomas Ball, Sriram K. Rajamani

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar