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
- 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 |