The Imperative future
Subtitle: principles of executable temporal logic
By: edited by Howard Barringer ... [et al.].
Contributors: Barringer, Howard, 1951-
Series: Advanced software development series ;; 4
Publisher: Research Studies Press; Wiley
Published: 1996
Place of publication: Taunton, Somerset, England; New York
Language: eng
Number of pages: 239
Subjects: Computer software -- Development.; Programming languages (Electronic computers); Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 227-235) and index.