Tools and Algorithms for the Construction and Analysis of Systems
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540434191
Includes supplementary material: sn.pub/extras
| EAN: | 9783540434191 |
|---|---|
| Auflage: | 2002 |
| Sprache: | Englisch |
| Seitenzahl: | 500 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Stevens, Perdita Katoen, Joost-Pieter |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 20.03.2002 |
| Untertitel: | 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings |
| Schlagworte: | Analyse / Systemanalyse Systemanalyse |
| Größe: | 27 × 155 × 235 |
| Gewicht: | 750 g |
