Miláček čtenářů je právě vyprodaný
Parametry
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
- Vazba
- (měkká)
Jakmile se objeví, pošleme e-mail.
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
- Štítky
- 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.