Andrzej Tarlecki

Identifiers

Open LibraryOL1307080A

Top Subjects

Programming languages (Electronic computers) -- Semantics (1)
Computer programs -- Correctness (1)
Parallel processing (1)
Programming Languages - General (1)
Computer Science (1)
Mathematical theory of computation (1)
Software engineering (1)

Books by Andrzej Tarlecki

Total count: 5

Algebras for some input/output semantics

Institute of Computer Science, Polish Academy of Sciences1980-01-01
Free constructions in algebraic institutions.

Dept. of Computer Science, Univ. of Edinburgh1983-01-01
A language of specified programs.

Dept. of Computer Science, Univ. of Edinburgh1983-01-01
Mathematical Foundations of Computer Science 199116th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science)

Not Avail1991-09-01
Foundations of Algebraic Specification and Formal Software Development

Springer2014-03-01