The University of Texas at Tyler Libraries catalog › Details for: Operational semantics for timed systems :

Normal view MARC view ISBD view

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust].

By: Rust, HeinrichMaterial type: Text

TextSeries: Springer Lecture notes in computer science: 3456.Publisher: Berlin ; New York : Springer, c2005Description: 1 online resource (xii, 223 p.) : illISBN: 9783540320081; 3540320083; 3540255761; 9783540255765; 9786611408282; 6611408282Subject(s): Real-time data processing | Real-time programming | Hybrid systems | Operating systems (Computers) | SemanticsAdditional physical formats: Print version:: Operational semantics for timed systems.LOC classification: QA76.54 | .R87 2005Online resources: Click here to view this ebook.

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

Item type	Current location	Call number	URL	Status	Date due	Barcode
Electronic Book	UT Tyler Online Online	QA76.54 .R87 2005 (Browse shelf)	http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629	Available		ocn262680867

Includes bibliographical references (p. [215]-220) and index.

Description based on print version record.

There are no comments on this title.

to post a comment.