Hoppa till sidans huvudinnehåll

Sriram K. Rajamani - Böcker

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

Computer Aided Verification

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

AvKousha Etessami,Sriram K. Rajamani

Häftad, Engelska, 2005

1 429 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvThomas Ball,Sriram K. Rajamani

Häftad, Engelska, 2003

719 kr

Skickas inom 10-15 vardagar

Verified Software: Theories, Tools, Experiments

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

AvGary T. Leavens,Peter O'Hearn m. fl.

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar