Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 2003 - Revised Lectures

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

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever 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: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
  • ISBN 13: 9783540229421
  • ISBN 10: 3540229426
  • Publication Year: 2004
  • Language: English

Specifications

Index-10 3540229426
Index-13 9783540229421
Language English

✨ Readers also enjoyed...

View All →
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and …

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue

Inquire
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and …

Elena Giachino, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle

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 : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Su

Formal Methods for Components and …

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

Inquire
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P

Formal Methods for Components and …

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Inquire