Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European ... 3441 (Lecture Notes in Computer Science)

by VladimiroSassone (Editor)

• New

  Paperback
  2005

  $104.48

  This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials.