Lecture Notes in Computer Science

Autori

B.T. Hailpern

Parametri

Maggiori informazioni sul libro

This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.

Acquisto del libro

Lecture Notes in Computer Science, B.T. Hailpern

Lingua
Pubblicato: 1982
product-detail.submit-box.info.binding: (In brossura)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione

Titolo: Lecture Notes in Computer Science
Lingua: Inglese
Autori: B.T. Hailpern
Editore: Springer Science & Business Media
Pubblicato: 1982
Formato: In brossura
ISBN10: 3540112057
ISBN13: 9783540112051
Serie
Tag: Saggistica, Tecnologia & Ingegneria, Computer & Internet
Descrizione: This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.