Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Time for Verification

Essays in Memory of Amir Pnueli

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Software Reliability Methods

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Software Reliability Methods

Produktform: Buch / Einband - fest (Hardcover)

Software Reliability Methods

Produktform: Buch / Einband - flex.(Paperback)