Logics of programs and their applications
Subtitle: proceedings, Poznan, August 23-29, 1980
By: edited by A. Salwicki.
Contributors: Salwicki, Andrzej.
Series: Lecture notes in computer science ;; 148
Publisher: Springer-Verlag
Published: 1983
Place of publication: Berlin; New York
Language: eng
Number of pages: 324
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies.