Donald Sannella

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella

Out of Stock

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers (Lecture Notes in Computer Science)

Donald Sannella

$59.78

Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings (Lecture Notes in Computer Science)

Donald Sannella

$60.35

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella

$41.60