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

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Algebraic specification of concurrency -- Objects and their specification -- The use of sorts...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Rewriting Logic -- The Rôle of Normalisation in Testing from Structured Algebraic Specifications...”