Miláčik čitateľov je práve vypredaný
Viac o knihe
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 vydania
- 1982
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Lecture Notes in Computer Science
- Jazyk
- anglicky
- Autori
- B.T. Hailpern
- Vydavateľ
- Springer Science & Business Media
- Rok vydania
- 1982
- Väzba
- mäkká
- ISBN10
- 3540112057
- ISBN13
- 9783540112051
- Série
- Anotácia
- 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.