Axiomatising the Logic of Computer Programming: 130 (Lecture Notes in Computer Science) - Tapa blanda

Goldblatt, Robert

 
9780387112107: Axiomatising the Logic of Computer Programming: 130 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 0387112103 ISBN 13: 9780387112107
Editorial: Springer Verlag, 1982

Esta edición ISBN ya no está disponible.

Editorial
Springer Verlag
Año de publicación
1982
Idioma
Inglés
ISBN 10 
0387112103
ISBN 13 
9780387112107
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540112105: Axiomatising the Logic of Computer Programming: 130 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540112103 ISBN 13:  9783540112105
Editorial: Springer, 2008
Tapa blanda