IMSc Library catalog › Details for: Duration calculus

Cover image

Normal view MARC view ISBD view

Duration calculus formal approach to real-time systems

By: Zhou, Chaochen | Hansen, Michael RMaterial type: Text

Text

TextSeries: EATCS monographs on theoretical computer sciencePublication details: Berlin ; Springer ; c2004Description: x, 247 pISBN: 3540408231Subject(s): Real-time data processing. Formal methods (Computer science) Mathematics Data processing

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)

Holdings ( 1 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3.06 CHA (Browse shelf (Opens below))		Available		51221

There are no comments on this title.

to post a comment.

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha