Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering - De F S Boer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540291312 - September 19, 2005
In case cover and title do not match, the title is correct

De F S Boer
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering 2005 edition

Price
Íkr 8,189
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 1 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems.

328 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 19, 2005
ISBN13 9783540291312
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 328
Dimensions 155 × 235 × 17 mm   ·   471 g
Language French  
Editor Bonsangue, Marcello M.
Editor De Boer, Frank S.
Editor De Roever, Willem-paul
Editor Graf, Susanne

Mere med samme udgiver

See all of De F S Boer ( e.g. Paperback Book )