Formal Methods and Software Engineering
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540474609
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 |