Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Frank S. de Boer (editor), Marcello M. Bonsangue (editor), Susanne Graf (editor), Willem-Paul de Roever (editor)
Paperback Published on: 10/08/2006
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540367499
- Number of pages: 429
- Dimensions: 235 x 155 mm
- Languages: English