Benutzerdefiniertes Cover
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver; Carroll Morgan
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Monographs in computer scienceVerlag: New York, NY : Springer, 2005Beschreibung: XIX, 383 S. : graph. DarstISBN:- 0387401156
- 005.1
- TA340
- TA340.M43 2004
- 3
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Mac | Bibliothek / frei aufgestellt | D.Mac(47332) | Verfügbar | 000482682090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20200919 DE-640 3 pdager