Custom cover image
Custom cover image

Abstraction, refinement and proof for probabilistic systems / Annabelle McIver; Carroll Morgan

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Monographs in computer sciencePublisher: New York, NY : Springer, 2005Description: XIX, 383 S. : graph. DarstISBN:
  • 0387401156
Subject(s): Additional physical formats: Erscheint auch als: Abstraction, Refinement and Proof for Probabilistic Systems. Online-Ausgabe. New York, NY : Springer Science+Business Media, Inc, 2005. Online-Ressource (XIX, 383 p. 63 illus, digital)DDC classification:
  • 005.1
MSC: MSC: *68N30 | 03B70 | 68W20 | 68-02RVK: RVK: ST 134 | ST 230LOC classification:
  • TA340
  • TA340.M43 2004
Action note:
  • 3
PPN: PPN: 36630111X
Holdings
Item type Home library Collection Shelving location Call number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Informatik D.Mac Bibliothek / frei aufgestellt D.Mac(47332) Available 000482682090
Total holds: 0

Archivierung prüfen 20200919 DE-640 3 pdager

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT