Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... of proofsystems for partial correctness of CSP -- Logic programming: The foundations, the approach and the role...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... of AADL modules using model checking -- Specialization in logic programming: From horn clause logic...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
“... of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation...”