Search alternatives:
"algebraic specification" » "algebraic specifications"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Their Refinements -- Object Specification -- Algebraic Specification of Concurrent Systems -- Formalization...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics...”