Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

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

• New

  Paperback
  2008

  $73.39

  This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers;