Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Verifying concurrent progresses using temporal logic / Brent T. Hailpern.

By: Material type: TextTextLanguage: English Series: v 129 | Lecture notes in computer science ; v. 129Publication details: Berlin : Springer Verlag , 1982.Description: viii, 208pISBN:
  • 3540112057
Subject(s): DDC classification:
  • 005.131 H151 23
Tags from this library: No tags from this library for this title. Log in to add tags.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in