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: |