Sciweavers

10871 search results - page 98 / 2175
» A stable programming language
Sort
View
IFIP
1994
Springer
15 years 11 months ago
Evolving Algebras and Partial Evaluation
Yuri Gurevich, James K. Huggins
144
Voted
IFIP
1994
Springer
15 years 11 months ago
The Theory and Practice of A Formal Method: NewCoRe
Gerard J. Holzmann
IFIP
1994
Springer
15 years 11 months ago
Data Communications: The First 2500 Years
Gerard J. Holzmann