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

Normal view MARC view ISBD view

Specification and compositional verification of real-time systems

By: Hooman J.

Material type: Text

Text

TextSeries: Lecture notes in computer science, v 558. Publisher: Berlin Springer Verlag 1991Description: viii,235p.ISBN: 3-540-5494-7.Subject(s): Real time systemDDC classification: 005.273

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

Holdings ( 1 )
Comments ( 0 )

Item type

Current location

Call number

Status

Date due

Barcode

Item holds

Books

Books

ISI Library, Kolkata 4th Floor

005.273 H785 (Browse shelf)

Available

112082

Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.

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

Visitor Counter

IMPLEMENTED BY- AVIOR TECHNOLOGIES