e/Unifying Theories of Programming

Information
has gloss	eng: Unifying Theories of Programming deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.
lexicalization	eng: Unifying Theories of Programming
instance of	c/Computer science books

Meaning
Croatian
has gloss	hrv: Unifying Theories of Programming je knjiga o programskoj semantici. Pokazuje kako se denotacijska semantika, operacijska semantika i algebarska semantika mogu kombinirati u unificirani okvir za formalnu specifikaciju, dizajn i implementaciju programa i računalnih sustava.
lexicalization	hrv: Unifying Theories of Programming