Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures: 3657 (Lecture Notes in Computer Science)

by SusanneGraf (Editor), Frank S .de Boer (Editor), Marcello M . Bonsangue (Editor)

• New

  Paperback
  2005

  $72.95

  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.