Hoppa till sidans huvudinnehåll

Sriram K. Rajamani – författare

Visar alla böcker från författaren .
3 produkter
Kousha Etessami, Sriram K. Rajamani - Computer Aided Verification, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Thomas Ball, Sriram K. Rajamani - Model Checking Software, Häftad

Model Checking Software

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

AvThomas Ball,Sriram K. Rajamani

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

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

AvGary T. Leavens,Peter O'Hearnm. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar