[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1827 || A Uniform Model Theory for the Specification of Data and Process Types
Bert, Didier, Choppy, Christine, Mosses, Peter D.Volume:
10.1007/b7
Year:
2000
Language:
english
DOI:
10.1007/978-3-540-44616-3_20
File:
PDF, 225 KB
english, 2000