Abstract software specifications : 1979 Copenhagen winter school, January 22-February 2, 1979 ; proceedings /

Uložené v:
Podrobná bibliografia
Ďalší autori: Bjørner, D. (Editor)
Médium: Kniha
Jazyk:English
Vydané: Berlin ; Heidelberg ; New York : Springer-Verlag, 1980.
Edícia:Lecture notes in computer science vol. 86
ISBN: (brož.)
Fyzický popis: 566 s.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!