Custom cover image
Custom cover image

Verifying concurrent processes using temporal logic / Brent T. Hailpern

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 129Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1982Description: VIII, 208 S : graph. DarstISBN:
  • 3540112057
  • 0387112057
Subject(s): Additional physical formats: Online-Ausg.: Verifying concurrent processes using temporal logic. Berlin [u.a.] : Springer, 1982. Online-Ressource (VIII, 208 S.) | Erscheint auch als: Verifying Concurrent Processes Using Temporal Logic. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1982. Online-RessourceDDC classification:
  • 001.64/2 19
RVK: RVK: ST 120 | ST 233 | SS 4800LOC classification:
  • QA76.6
PPN: PPN: 024237744
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode
Handbibliothek Fakultät für Informatik D.Hai Handbibliothek (Ausleihe und Einsicht nicht möglich) D.Hai(05420) Checked out Ausleihe und Einsicht nicht möglich 15.01.2034 000274311090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT