Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

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

---

FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

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

Advanced Lectures on Software Engineering

LASER Summer School 2007/2008

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

---

Advanced Distributed Systems

5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

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

Games, Actions, and Social Software

Multidisciplinary Aspects

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

Rule Interchange and Applications

International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

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

Rigorous Development of Complex Fault-Tolerant Systems

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

Agent-Oriented Software Engineering VII

7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

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

Times of Convergence. Technologies Across Learning Contexts

Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings

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

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

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