Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

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

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

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

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

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