Sriram K. Rajamani - Böcker

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

Computer Aided Verification

Av Kousha Etessami, Sriram K. Rajamani

Häftad, Engelska, 2005

1 459 kr

Skickas inom 7-10 vardagar
Thomas Ball, Sriram K. Rajamani - Model Checking Software, Häftad
Del 2648 - Lecture Notes in Computer Science

Model Checking Software

Av Thomas Ball, Sriram K. Rajamani

Häftad, Engelska, 2003

739 kr

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

Verified Software: Theories, Tools, Experiments

Av Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar