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

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

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic...”