Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Formal Methods and Software Engineering

EAN: 9783540474609
Auflage: 2006
Sprache: Englisch
Seitenzahl: 796
Produktart: kartoniert, broschiert
Herausgeber: He, Jifeng Liu, Zhiming
Verlag: Springer Berlin Springer Berlin Heidelberg
Veröffentlichungsdatum: 24.10.2006
Untertitel: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Schlagworte: Automatentheorie EDV / Theorie / Software-Entw. / Software Engineering UML (EDV) XML - Extensible Markup Language
Größe: 43 × 155 × 235
Gewicht: 1183 g