¡Agotado, pero muy deseado!
Más información sobre el libro
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.
Compra de libros
Lecture Notes in Computer Science, B.T. Hailpern
- Idioma
- Publicado en
- 1982
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Lecture Notes in Computer Science
- Idioma
- Inglés
- Autores
- B.T. Hailpern
- Editorial
- Springer Science & Business Media
- Publicado en
- 1982
- Formato
- Tapa blanda
- ISBN10
- 3540112057
- ISBN13
- 9783540112051
- Serie
- Descripción
- 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.