An edition of Logics of Programs and Their Applications (1983)
Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science)
By A. Salwicki
Publish Date
February 14, 1983
Publisher
Springer
Language
eng
Pages
336