- Tytuł pełny:
- Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / ed. by A. Salwicki
- Konferencja:
- Symposium on Logics of Programs and their Applications (1980 ; Poznań)
- Współtwórcy:
- Salwicki, Andrzej. Redaktor
- Wydawca:
- Berlin : Springer
- Rok wydania:
- 1983
- Seria:
- Lecture Notes in Computer Science ; 148
- Zawartość serii:
- Lecture Notes in Computer Science 0302-9743 148
- Opis fizyczny:
- VI, 324 s. ; 24 cm
- ISBN:
- 3540119817
- Uwagi:
- W przedm. nazwa konf.: Symposium on Logics of Programs and their Applications
Dostępne również w formie elektronicznej - Temat:
- Komputery - programowanie - konferencje.
- Książka