Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980

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