Cover Image
Read Now

1
Published 1990
Springer London
Table of Contents: “... Specifications -- 22. Concurrency in Modula-2: Properties of the Language Primitives -- 23. Specification...”