Temporal logics and their applications / edited by Antony Galton.
Material type: TextPublisher: London : Academic Press, 1987Description: xii, 244 p.ISBN: 0122740602.Subject(s): Computer programmingDDC classification: 005.131Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.131 G1394 Te (Browse shelf(Opens below)) | Available | 152794 |
Three papers are based upon presentations at the Conference on Temporal Logic and its Applications, University of Leeds, January, 1986.
There are no comments on this title.