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

Goldblatt, R.

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

Sinopsis

Una frase subrayada rotulador transparente. Firma anterior poseedor. Muy buen estado

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783662195574: Axiomatising the Logic of Computer Programming

Edición Destacada

ISBN 10:  3662195577 ISBN 13:  9783662195574
Editorial: Springer, 2014
Tapa blanda