Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.

By:

Contributor(s):

Language: İngilizce Series: EATCS monographs on theoretical computer sciencePublisher: Berlin : New York : Springer, c2004Description: x, 247 p. ; 25 cmISBN:

Subject(s):

LOC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Vol info	Copy number	Status	Date due	Barcode
Book	Merkez Kütüphane Genel Koleksiyon / Main Collection	Merkez Kütüphane	Genel Koleksiyon	QA76.54 .Z46 2004 (Browse shelf(Opens below))	1	1	Available		0000713

There are no comments on this title.

to post a comment.