Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Susanne Graf, Laurent Mounier Paperback 2004

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Susanne Graf, Laurent Mounier
  • ISBN 13: 9783540213147
  • ISBN 10: 3540213147
  • Publication Year: 2004
  • Language: English

Specifications

Index-10 3540213147
Index-13 9783540213147
Language English

✨ Readers also enjoyed...

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

Automated Technology for Verificat…

Susanne Graf, Wenhui Zhang

Inquire
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