Custom cover image
Custom cover image

A survey of verification techniques for parallel programs / Howard Barringer

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 191Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1985Description: VI, 114 SISBN:
  • 3540152393
  • 0387152393
Subject(s): Additional physical formats: Online-Ausg.: A survey of verification techniques for parallel programs. Berlin [u.a.] : Springer, 1985. Online-Ressource (VI, 114 S.) | Erscheint auch als: A Survey of Verification Techniques for Parallel Programs. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. Online-RessourceDDC classification:
  • 001.64
RVK: RVK: ST 233LOC classification:
  • QA76.5
PPN: PPN: 021204462
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Date due Barcode
Handbibliothek Fakultät für Informatik D.Bar Handbibliothek (Ausleihe und Einsicht nicht möglich) D.Bar(07248) ;b Checked out Ausleihe und Einsicht nicht möglich 15.01.2034 000274986090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT