Nicht lieferbar
Formal Modeling and Analysis of Timed Systems (eBook, PDF)
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
  • Format: PDF

Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 305
  • Erscheinungstermin: 29. November 2005
  • Englisch
  • ISBN-13: 9783540316169
  • Artikelnr.: 44223208

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Autorenporträt
Paul Pettersson, Uppsala University, Sweden / Wang Yi, Uppsala University, Sweden