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 Objects : 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures

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

⭐ 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: 9783540367499
  • ISBN 10: 3540367497
  • Publication Year: 2006
  • Language: English

Specifications

Index-10 3540367497
Index-13 9783540367499
Language English