Verifying temporal properties of systems / Julian Charles Bradfield
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Progress in theoretical computer science ; [6]Verlag: Boston ; [Stuttgart] [u.a.] : Birkhäuser, 1992Beschreibung: VI, 113 S : graph. DarstISBN:- 3764336250
- 0817636250
- QA76.9.A96
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Bra | Bibliothek / frei aufgestellt | D.Bra(20802) | Verfügbar | 000294537090 |
Anzahl Vormerkungen: 0