Verifying temporal properties of systems / Julian Charles Bradfield

Von:

Bradfield, Julian, 1964- [aut]

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

Schlagwörter:

Unendlichdimensionales System
Nebenläufigkeit
Verifikation
Temporale Logik
Automatic theorem proving
Petri nets
Verification (Logic)

Genre/Form:

Hochschulschrift

MSC: MSC: *68Q60 | 03B70RVK: RVK: ST 130 | ST 140LOC-Klassifikation:

QA76.9.A96

Hochschulschriftenvermerk: Teilw. zugl.: Edinburgh, Univ., Diss., 1991 PPN: PPN: 019612648

Exemplare ( 1 )

Exemplare
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