Wyprzedane, ale poszukiwane!
Parametry
Więcej o książce
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.
Zakup książki
Lecture Notes in Computer Science, B.T. Hailpern
- Język
- Rok wydania
- 1982
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Lecture Notes in Computer Science
- Język
- angielski
- Autorzy
- B.T. Hailpern
- Rok wydania
- 1982
- Oprawa
- miękka
- ISBN10
- 3540112057
- ISBN13
- 9783540112051
- Seria
- Tagi
- Opis
- 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.