Benutzerdefiniertes Cover
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts in theoretical computer scienceVerlag: Berlin ; Heidelberg [u.a.] : Springer, c 2004Beschreibung: XIV, 600 S. : graph. DarstISBN:- 3540002960
- 004.21
- 004.2/1
- 005.14
- QA76.76.V47
Inhalte:
Call number: Grundsignatur: 2003 A 9860PPN: PPN: 365282782
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2003 A 9860 | Verfügbar | 46386861090 |
Anzahl Vormerkungen: 0