Miláčik čitateľov je práve vypredaný
Parametre
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
- Väzba
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
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
- Štítky
- 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.