Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)

by TeruoHigashino (Editor), KenjiSuzuki (Editor), KeiichiYasumoto (Editor), KhaledEl-Fakih (Editor)

• New

  Paperback
  2008

  $83.78

  This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems.