Verifying temporal properties of systems / Julian Charles Bradfield
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Progress in theoretical computer science ; [6]Publisher: Boston ; [Stuttgart] [u.a.] : Birkhäuser, 1992Description: VI, 113 S : graph. DarstISBN:- 3764336250
- 0817636250
- QA76.9.A96
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Bra | Bibliothek / frei aufgestellt | D.Bra(20802) | Available | 000294537090 |
Total holds: 0