Custom cover image
Custom cover image

Compositionality, concurrency and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 321Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1989Description: VI, 272 S. : graph. DarstISBN:
  • 3540508457
  • 0387508457
Subject(s): Genre/Form: Additional physical formats: Online-Ausg.: Compositionality, concurrency and partial correctness. Berlin [u.a.] : Springer, 1989. Online-Ressource (VI, 272 S.) | Erscheint auch als: Compositionality, Concurrency, and Partial Correctness. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1989. Online-RessourceDDC classification:
  • 004/.35 19
MSC: MSC: *68Q60 | 68N25 | 68-02 | 68Q99 | 68N01RVK: RVK: ST 230LOC classification:
  • QA76.5
Dissertation note: Zugl.: Eindhoven, Techn. Univ., Diss., 1988 PPN: PPN: 022449795
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode
Handbibliothek Fakultät für Informatik D.Zwi Handbibliothek (Ausleihe und Einsicht nicht möglich) D.Zwi(09454) Checked out Ausleihe und Einsicht nicht möglich 15.01.2034 000467698090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT