Custom cover image
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts in theoretical computer sciencePublisher: Berlin ; Heidelberg [u.a.] : Springer, c 2004Description: XIV, 600 S. : graph. DarstISBN:- 3540002960
- 004.21
- 004.2/1
- 005.14
- QA76.76.V47
Contents:
Call number: Grundsignatur: 2003 A 9860PPN: PPN: 365282782
| Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2003 A 9860 | Available | 46386861090 |
Total holds: 0