Systematic software development using VDM

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01000381259/Details
Glavni autor: Jones, Clifford (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: New York [etc.] : Prentice Hall, 1990.
Izdanje: 2nd ed
Nakladnička cjelina: Prentice Hall International series in computer science
Predmet:
LEADER 00972cam a2200325 i 4500
001 NSK01000381259
003 HR-ZaNSK
005 20100319092116.0
008 061217s1990 xxu 001 0 eng
020 |a 0138807337 
035 |9 (HR-ZaNSK)381729 
035 |9 (HR-ZaNSK)100326080 
035 |a (HR-ZaNSK)000381259 
040 |a HR-ZaNSK  |b hrv  |c HR-ZaNSK  |e ppiak 
041 0 |a eng 
044 |a us  |a uk  |a cn  |a at  |a ja 
080 |a 004.4  |2 MRF 1998. 
100 1 |a Jones, Clifford 
245 1 0 |a Systematic software development using VDM /  |c Cliff B. Jones. 
250 |a 2nd ed 
260 |a New York [etc.] :  |b Prentice Hall,  |c 1990. 
300 |a 333 str. ;  |c 24 cm. 
490 0 |a Prentice Hall International series in computer science 
500 |a Kazala 
504 |a Bibliografija: str. 321-[322] 
650 7 |a Računalno programiranje  |2 nskps 
998 |c lbar050920  |c rpei100319 
852 4 |j 634.876 
876 |e D  |a 1761/90 
886 0 |2 unimarc  |b 00776cam2 2200265 450