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)

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

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

---

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

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

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Produktform: Buch / Einband - flex.(Paperback)

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

---

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

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

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Produktform: Buch / Einband - flex.(Paperback)