Algebras for some input/output semantics
An edition of Algebras for some input/output semantics (1980)
By Andrzej Tarlecki
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