Miláček čtenářů je právě vyprodaný
Více o knize
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.
Nákup knihy
Lecture Notes in Computer Science, B.T. Hailpern
- Jazyk
- Rok vydání
- 1982
- product-detail.submit-box.info.binding
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.
- Titul
- Lecture Notes in Computer Science
- Jazyk
- anglicky
- Autoři
- B.T. Hailpern
- Vydavatel
- Springer Science & Business Media
- Rok vydání
- 1982
- Vazba
- měkká
- ISBN10
- 3540112057
- ISBN13
- 9783540112051
- Série
- Anotace
- 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.