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

Formal techniques in real time and fault tolerant systems : proceedings

By: Material type: TextTextLanguage: English Series: Lecture notes in Computer science, 331Publication details: Berlin Springer Verlag 1988Description: vi,229pISBN:
  • 3-540-50302-1
Subject(s): DDC classification:
  • 4.3382 Sy989
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