The use of formal specification of software

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:1515
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin : Springer Verlag, 1980.
Izdanje: 1. izd
Nakladnička cjelina: Informatik-Fachberichte / Springer Verlag ; 36