Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N∫ 129
| Precio: | 10 € | comprar |
| Autor: | HAILPERN, Brent | |
| Descripción: | VIII- 208 pgs 1982 Springer - Verlag Berlín Heidelberg New York 4º menor Rústica editorial | |
| Colección: | ||
| Descripción propia: | Firma anterior poseedor. Muy buen estado | |
| Referencia: | *W107526 | |
| ISBN 10: | 3540112057 | |
| ISBN 13: | ||