Nicht lieferbar
Verification, Model Checking, and Abstract Interpretation (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: 483
  • Erscheinungstermin: 4. Februar 2005
  • Englisch
  • ISBN-13: 9783540305798
  • Artikelnr.: 44129609

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
Radhia Cousot, École Polytechnique, Palaiseau, France