Towards a formal description of ADA

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:2232
Ostali autori: Bjorner, Dines (Editor), Oest, O.N
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin : Springer Verlag, 1980.
Izdanje: 1. izd
Nakladnička cjelina: Lecture Notes in Computer Science ; VOL.98