Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study...”