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 2000
Springer Berlin Heidelberg
“... of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation...”