AAlgebras for some input/output semanticsAlgebras for some input/output semanticsde Andrzej TarleckiMateriasComputer programsCorrectnessProgramming languages (Electronic computers)SemanticsEdiciones (1)Algebras for some input/output semantics (1980)Institute of Computer Science, Polish Academy of Sciences · inglésMás obras de Andrzej TarleckiFM 2005FFree constructions in algebraic institutionsFree constructions in algebraic institutionsAA language of specified programsA language of specified programs
