Educated Owl Books

Sell with us!

Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

by Susanne Graf, Wenhui Zhang Paperback 2006

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Susanne Graf, Wenhui Zhang
ISBN 13: 9783540472377
ISBN 10: 3540472371
Publication Year: 2006
Language: English

Specifications

Index-10	3540472371
Index-13	9783540472377
Language	English

✨ Readers also enjoyed...

View All →

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and …

Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Inquire

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Formal Methods for Components and …

Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Inquire

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and …

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Inquire

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised Lectures

Formal Methods for Components and …

Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

Inquire

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 2003 - Revised Lectures

Formal Methods for Components and …

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Inquire