Algebraic specification
Algebraic specification
J. A. Bergstra
,
Paul Klint
Details
OL Work ID
OL19522194W
Subjects
Abstract data types (Computer science)
Find this book
Open Library