Amazon cover image

Image from Amazon.com

Image from Google Jackets

Normal view MARC view ISBD view

Duration calculus formal approach to real-time systems

By:

Material type: Text

Text

TextSeries: EATCS monographs on theoretical computer sciencePublication details: Berlin; Springer; c2004.Description: x, 247 pISBN:

3540408231

Subject(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 )

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

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
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