Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
by Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever Paperback 2007
- Author: Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
- ISBN 13: 9783540747918
- ISBN 10: 3540747915
- Publication Year: 2007
- Language: English
Specifications
| Index-10 | 3540747915 |
|---|---|
| Index-13 | 9783540747918 |
| Language | English |