Tools and Algorithms for the Construction and Analysis of Systems
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540212997
| EAN: | 9783540212997 |
|---|---|
| Auflage: | 2004 |
| Sprache: | Englisch |
| Seitenzahl: | 628 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Podelski, Andreas Jensen, Kurt |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 18.03.2004 |
| Untertitel: | 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings |
| Schlagworte: | Algorithmus Analyse / Systemanalyse Systemanalyse |
| Größe: | 34 × 155 × 235 |
| Gewicht: | 937 g |
