A topological framework for program semantics

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01000194975/Details
Glavni autor: Rewitzky, Ingrid Moira (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Cape Town : University, 1996.
Nakladnička cjelina: Thesis reprints / Department of Mathematics and Applied Matematics, University of Cape Town ; 1/96
Predmet:
LEADER 01066cam a2200313 ir4500
001 NSK01000194975
003 HR-ZaNSK
005 20070917130832.0
008 970724s1996 sa 000 0 eng
035 |9 (HR-ZaNSK)195185 
035 |9 (HR-ZaNSK)970724059 
035 |a (HR-ZaNSK)000194975 
040 |a HR-ZaNSK  |b hrv  |c HR-ZaNSK  |e ppiak 
041 0 |a eng 
044 |a sa 
080 |a 519.767 
080 |a 510.27 
100 1 |a Rewitzky, Ingrid Moira 
245 1 2 |a A topological framework for program semantics /  |c by Ingrid Moira Rewitzky. 
260 |a Cape Town :  |b University,  |c 1996. 
300 |a 104 str. ;  |c 21 cm. 
490 0 |a Thesis reprints / Department of Mathematics and Applied Matematics, University of Cape Town ;  |v 1/96 
500 |a Dokt. disert., Univ. of Cape Town, 1995 
504 |a Bibliografija: str. [89]-96 
650 7 |a Topološki prostori  |x Priestleyev model  |2 nskps 
760 0 |t Thesis reprints  |w nsk.(HR-ZaNSK)000372240 
998 |m TBU  |c duto9807  |c rjkp9912  |c dmgc0001 
876 |e ZM  |a 170/97 
886 0 |2 unimarc  |b 00853nam2 2200253 450