Custom cover image
The temporal logic of reactive and concurrent systems : specification / Zohar Manna; Amir Pnueli
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: New York ; Berlin ; Heidelberg [u.a.] : Springer, 1992Description: XIV, 427 S. : graph. DarstISBN:- 0387976647
- 3540976647
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | inf 3.19 | Geschlossenes Magazin | 92 A 309-1 | Available | 44281814090 |
Total holds: 0