Normal view MARC view ISBD view

Temporal logics and their applications

Contributor(s): Galton Antony [ed.]Material type: Text

TextLanguage: English Publication details: London Academic Press 1987Description: xii,244pSubject(s): Computer science | Temporal logicDDC classification: 005.131

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type

Current library

Call number

Status

Date due

Barcode

Item holds

Books

ISI Library, Kolkata 4th Floor

005.131 G181 (Browse shelf)

Available

113319

Total holds: 0

Previous				No cover image available			No cover image available	Next
Previous	005.131 D787 Attribute grammar for the semantic analysis of Ada	005.131 En57 Simple Program scheme and formal languages	005.131 En57 Simple Program scheme and formal languages	005.131 G181 Temporal logics and their applications	005.131 G493 Algebraic and automata theoretic properties of formal languages	005.131 G781 Logic,algebra and databases	005.131 H113 Hyperedge replacement : grammars and languages	Next

There are no comments on this title.

to post a comment.