1. Home
  2. Books
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development

Free shipping on orders over $99
Formal Methods for Components and Objects

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 and others
Paperback
Publication Date: 18/12/2007
Be the first to write a review

Share This Book:

 
$158.95
Add to List

Click 'Notify Me' to get an email alert when this item becomes available

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.
ISBN:
9783540747918
9783540747918
Category:
Computer programming / software development
Format:
Paperback
Publication Date:
18-12-2007
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
300
Dimensions (mm):
235x155x16mm
Weight:
0.47kg

Click 'Notify Me' to get an email alert when this item becomes available

You can find this item in:

Compilers Computer programming / software development Computer architecture & logic design Operating systems Programming & scripting languages: general Computer science
Show more Show less

Reviews

Be the first to review Formal Methods for Components and Objects.