Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer (editor), Marcello M. Bonsangue (editor), Susanne Graf (editor), Willem-Paul de Roever (editor)
Paperback Published on: 19/09/2005
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540291312
- Number of pages: 328
- Dimensions: 235 x 155 mm
- Languages: English


