Verification of sequential and concurrent programs /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Springer-Verlag,
1991
|
| Edición: | 1st. ed. |
| Colección: | Texts and monographs in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 441 p. |
|---|---|
| ISBN: | 0387975322 |