FME 2001: Formal Methods for Increasing Software Productivity
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540417910
Includes supplementary material: sn.pub/extras
| EAN: | 9783540417910 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 648 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Zave, Pamela Oliveira, Jose N. |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 28.02.2001 |
| Untertitel: | International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings |
| Schlagworte: | EDV / Theorie / Software-Entw. / Software Engineering EDV / Theorie / Software-Entw. / Software-Design |
| Größe: | 35 × 155 × 235 |
| Gewicht: | 966 g |
