Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... into Prolog -- Algebraic specification method of programming languages -- Multiversion concurrency control...”