Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

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

⭐ 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: 9783540921875
  • ISBN 10: 3540921877
  • Publication Year: 2008
  • Language: English

Specifications

Index-10 3540921877
Index-13 9783540921875
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 : 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
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010

Formal Methods for Components and …

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue

Inquire