Logic of Programs : Workshop, ETH Zürich, May-July 1979

Corporate Author: SpringerLink (Online service)
Other Authors: Engeler, E. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1981, 1981
Edition:1st ed. 1981
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Physical Description:VII, 245 p online resource
ISBN:9783540386315