Sciweavers

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