IMSc Library catalog › Details for: Temporal Logic in Specification

Normal view MARC view ISBD view

Temporal Logic in Specification Proceedings, Altrincham, UK, 1987

TextSeries: Lecture notes in computer science ; 00398Publication details: Berlin ; Springer Verlag ; 1989Description: 448pISBN: 3540518037Subject(s): Temporal Logic Specification

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34859

Previous								Next
Previous	681 LNCS Concepts, Design, and Performance Analysis of a Parallel Prolog Machine	681 LNCS Interactive Relational Database Design	681 LNCS Optimal Algorithms Proceedings, International Symposium, Varna, Bulgaria, 1989	681 LNCS Temporal Logic in Specification	681 LNCS Advances in Database Technology - EDBT'90	681 LNCS STACS 90	681 LNCS Graph-Theoretic Concepts in Computer Science	Next

There are no comments on this title.

to post a comment.