Cover Image
Read Now

1
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “...0: Preliminary Concepts -- 0.1 Fair Transition System -- 0.2 A Programming Language (SPL): Syntax...”