Cover Image

Temporal logics and their applications /

Bibliographic Details
Other Authors: Galton, A. P.
Format: Book
Language:English
Published: London : Academic, [1987]
Subjects:
Computer programming.
Logic, Symbolic and mathematical.
Description
Item Description:Conference papers.
Physical Description:xii, 244 pages : illustrations ; 23 cm.
Bibliography:Includes bibliography and index.
ISBN:0122740602 :