A survey of verification techniques for parallel programs / Howard Barringer

Von:

Barringer, Howard, 1951- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in computer science ; 191Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1985Beschreibung: VI, 114 SISBN:

3540152393
0387152393

Schlagwörter:

Andere physische Formen: 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-Klassifikation:

001.64

RVK: RVK: ST 233LOC-Klassifikation:

QA76.5

PPN: PPN: 021204462

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Fälligkeitsdatum	Barcode
Handbibliothek	Fakultät für Informatik	D.Bar	Handbibliothek (Ausleihe und Einsicht nicht möglich)	D.Bar(07248)	;b	Ausgeliehen Ausleihe und Einsicht nicht möglich	15.01.2034	000274986090

Anzahl Vormerkungen: 0