Formal Methods and Software Engineering

Erscheinungsdatum: 24.10.2006, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006,...