Algebras for some input/output semantics

An edition of Algebras for some input/output semantics (1980)

Algebras for some input/output semantics

By Andrzej Tarlecki

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1980

Publisher

Institute of Computer Science, Polish Academy of Sciences

Language

eng

Pages

39

Description:

subjects: Computer programs, Correctness, Programming languages (Electronic computers), Semantics