Posjedovanje: Systematic software development using VDM

Permalink:	http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:17522
Glavni autor:	Jones, Cliff B. (-)
Vrsta građe:	Knjiga
Jezik:	eng
Impresum:	Prentice-Hall, Inc, 1986.
Nakladnička cjelina:	Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc..
Predmet:	68 > Computer science {for papers involving machine computations and programs in a specific mathematical area, see section -04 in that area}

Signatura:	3789
Primjerak 3789	Dostupno