Search
Lexile Level
AR Level
AR Level
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Pap 9783540503255 by
Sannella, Donald -
Springer,
-1988
Dewey: 005.13
N/A
Introduction to Computation: Haskell, Logic and Automata (2021) 9783030769079 by
Sannella, Donald -
Springer,
-2022
N/A
Mathematical Foundations of Computer Science 2015: 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (20 9783662480533 by
Italiano, Giuseppe F -
Springer,
-2015
Dewey: 005.1
N/A
Algebraic System Specification and Development (1991) 9783540540601 by
Bidoit, Michel -
Springer,
-1991
Dewey: 004.21
N/A
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (1994) 9783540578802 by
Sannella, Donald -
Springer,
-1994
Dewey: 005.1
N/A
Mathematical Foundations of Computer Science 2015: 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I (201 9783662480564 by
Italiano, Giuseppe F -
Springer,
-2015
Dewey: 005.1
N/A