Seguici su

Cerca

Torna Indietro

A survey of verification techniques for parallel programs

Barringer, Howard

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

A survey of verification techniques for parallel programs

Nomi

[Autore] Barringer, Howard

Classe Dewey

004.35 Elaborazione dei dati. Multielaborazione

Soggetto BNI

Programmazione parallela - Verifica

Descrizione

A survey of verification techniques for parallel programs / Howard Barringer

Descrizione Fisica

VI, 114 p. ; 25 cm

Numeri Standard

ISBN: 0387152393, New York
ISBN: 3540152393, Berlin

Data

c1985

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\UFI\0062395

Link Risorse

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

Tag

Immagini

Hiroshima and Nagasaki : the politics of human powerlessness

Risultati 2 di 83316

Visualizza Tutti

Testi

Accreditation Expectations for Library Support of Off-Campus Programs

Autore : Simmons, Howard L.

Accreditation Expectations for Library Support of Off-Campus Programs

Autore : Simmons, Howard L.

Risultati 2 di 2187002

Visualizza Tutti

Video

Lady for a day

Anno : 2003

Gli invasori : 49. parallelo

Anno : 1997

Risultati 2 di 70635

Visualizza Tutti

Audio

An introduction to mathematics for students of economics

Autore : Lewis, J. Parry

Anno : 1961

Parallel dreams

Autore : McKennitt, Loreena

Anno : 2002

Risultati 2 di 25635

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

A survey of verification techniques for parallel programs

Tag

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

Commenti