Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering)

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

• New

  Paperback
  2007

  $73.55

  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.