Automatic Verification Methods for Finite State Systems
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540521488
| EAN: | 9783540521488 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 396 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Sifakis, Joseph |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 10.01.1990 |
| Untertitel: | International Workshop, Grenoble, France. June 12-14, 1989. Proceedings |
| Schlagworte: | Endlich (mathematisch) Finit |
| Größe: | 22 × 155 × 235 |
| Gewicht: | 598 g |
