- Tytuł pełny:
- Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22 - February 2, 1979 : proceedings / ed. by D. Bjorner
- Wydawca:
- Berlin [etc.] : Springer-Verlag
- Rok wydania:
- 1980
- Seria:
- Lecture Notes in Computer Science ; 86
- Temat:
- Komputery - programowanie - konferencje.
Oprogramowanie - specyfikacje - konferencje.
Książka