Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science N∫ 130
| Precio: | 7 € | NO DISPONIBLE |
| Autor: | GOLDBLATT, Robert | |
| Descripción: | XI- 304 pgs 1982 Springer - Verlag Berlín Heidelberg New York 4º menor Rústica editorial | |
| Colección: | ||
| Descripción propia: | Una frase subrayada rotulador transparente. Firma anterior poseedor. Muy buen estado | |
| Referencia: | W107551 | |
| ISBN 10: | 3540112103 | |
| ISBN 13: | ||