libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

barringer howard - a survey of verification techniques for parallel programs

A Survey of Verification Techniques for Parallel Programs




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
24,98 €
NICEPRICE
23,73 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 05/1985
Edizione: 1985





Sommario

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.










Altre Informazioni

ISBN:

9783540152392

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:VIII, 120 p.
Pagine Arabe: 120
Pagine Romane: viii


Dicono di noi