Verifying temporal properties of systems
Boston [u.a.]: Birkhäuser, 1992
Monographie, Hochschulschrift, Gedruckte Ressource
- VI, 113 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Verifying temporal properties of systems
|
---|---|
Verantwortlichkeitsangabe: | Julian Charles Bradfield |
Autor/in / Beteiligte Person: | Bradfield, Julian Charles |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Boston [u.a.]: Birkhäuser, 1992 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 113 S. |
ISBN: | 3764336250 (Basel ...) Pp. : sfr 68.00; 0817636250 (Boston) Pp. |
Schlagwort: |
|
Sonstiges: |
|