https://croatianschoolsydney.com/index.php?action=history&feed=atom&title=Unifying_Theories_of_Programming 2026-05-18T20:14:41Z Povijest promjena ove stranice na wikiju MediaWiki 1.36.2 https://croatianschoolsydney.com/index.php?title=Unifying_Theories_of_Programming&diff=51551&oldid=prev 2021-08-23T07:57:13Z

<p>Bot: Automatski unos stranica</p> <p><b>Nova stranica</b></p><div>&lt;!--'''Unifying Theories of Programming'''--&gt;'''Unifying Theories of Programming''' je knjiga o [[programska semantika|programskoj semantici]]. Pokazuje kako se [[denotacijska semantika]], [[operacijska semantika]] i [[algebarska semantika]] mogu kombinirati u unificirani okvir za [[formalna specifikacija|formalnu specifikaciju]], dizajn i implementaciju [[računalni program|programa]] i [[računalni sustav|računalnih sustava]].<br /> <br /> Autori knjige su [[C.A.R. Hoare]] i [[He Jifeng]], a objavljena je [[1998.]] pod [[Prentice Hall International Series in Computer Science]] ({{ISBN|0-13-458761-8}}).<br /> <br /> == Vanjske poveznice ==<br /> <br /> * [http://citeseer.ist.psu.edu/context/535366/0 Citations] koje popisuje [[CiteSeer]]<br /> * [http://www.cs.york.ac.uk/admit/Modules/utp.html Kolegij] zasnovan na ovoj knjizi pri [[University of York]]<br /> * [http://web.comlab.ox.ac.uk/oucl/research/areas/concurrency/research/unify/ Unificirane teorije programskih jezika], istraživanje pri [[Oxford University Computing Laboratory]]<br /> <br /> {{mrva-rač}}<br /> <br /> [[Kategorija:Knjige iz računarstva]]</div>

WikiSysop