Title: Foundations of Software Science and Computational Structures
Subjects: System analysis, Congresses, Computer software, Development, Symbolic and mathematical Logic