
Formal Methods for Components and Objects
Frank S. de Boer
₹6,195

7th International Symposium
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
Free delivery. Nothing extra to pay at checkout.
Formal Methods for Components and Objects: 7th International Symposium by Frank S. de Boer is a 299-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009.
Its main subjects are Logic design, Operating systems (Computers), Software engineering and Computer science.