Logic of Programs: Workshop, ETH Z??rich, May-July 1979: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science (125), Band 125)

Programs

von E. Engeler

Taschenbuch

EAN=ISBN-13: 978-3-540-11160-3

ISBN-10: 3-540-11160-3

Springer · 2008