Sriram K. Rajamani – författare
Visar alla böcker från författaren Sriram K. Rajamani. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
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
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
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar