Komm zurück

A survey of verification techniques for parallel programs

Barringer, Howard

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

A survey of verification techniques for parallel programs

Namen

[Autore] Barringer, Howard

Dewey -Klasse

004.35 Elaborazione dei dati. Multielaborazione

BNI -Subjekt

Programmazione parallela - Verifica

Beschreibung

A survey of verification techniques for parallel programs / Howard Barringer

Physische Beschreibung

VI, 114 p. ; 25 cm

Standardzahlen

ISBN: 0387152393, New York
ISBN: 3540152393, Berlin

Datum

c1985

Ort der Veröffentlichung

Berlin [etc.]

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\UFI\0062395

Ressourcenverbindungen

http://id.sbn.it/bid/UFI0062395

Etikett

Bilder

Hiroshima and Nagasaki : the politics of human powerlessness

Ergebnisse 2 von 83316

Alle ansehen

Texte

Accreditation Expectations for Library Support of Off-Campus Programs

Autor : Simmons, Howard L.

Accreditation Expectations for Library Support of Off-Campus Programs

Autor : Simmons, Howard L.

Ergebnisse 2 von 2187002

Alle ansehen

Video

Lady for a day

Jahr : 2003

Gli invasori : 49. parallelo

Jahr : 1997

Ergebnisse 2 von 70635

Alle ansehen

Audio

An introduction to mathematics for students of economics

Autor : Lewis, J. Parry

Jahr : 1961

Parallel dreams

Autor : McKennitt, Loreena

Jahr : 2002

Ergebnisse 2 von 25635

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

A survey of verification techniques for parallel programs

Etikett

Hiroshima and Nagasaki : the politics of human powerlessness

Hiroshima and Nagasaki : the politics of human powerlessness

Accreditation Expectations for Library Support of Off-Campus Programs

Accreditation Expectations for Library Support of Off-Campus Programs

Lady for a day

Gli invasori : 49. parallelo

An introduction to mathematics for students of economics

Parallel dreams

Kommentare