Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Algebraic System Specification and Development

by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Programming Languages and Systems - ESOP '94

by Donald Sannella.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Recent Trends in Data Type Specification

by Donald Sannella.

Series: Lecture Notes in Computer ScienceEdition: 1988Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .