Tools

LEADER 01807cam a2200469M 4500

001 ocm59557649;

003 OCoLC;

005 20141211182341.0;

007 cr un- ;

008 050304s2005 gw a b 001 0 eng d;

010 a| 2005923604;

016 7 a| 9742267342| GyFmDB;

020 a| 3540255761;

020 a| 9783540255765;

035 a| (Sirsi) o59557649;

035 a| (OCoLC)59557649;

049 a| EREE;

090 a| QA76.54b| .R87 2005;

100 1 a| Rust, Heinrich.=| ^A599652;

245 10 a| Operational semantics for timed systems :b| a non-standard approach to uniform modeling of timed and hybrid systems /c| Heinrich Rust.;

300 a| xii, 223 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3456,x| 0302-9743 ;;

504 a| Includes bibliographical references (p. [215]-220) and index.;

530 a| Also issued online.;

650 0 a| Real-time data processing.=| ^A65974;

650 0 a| Real-time programming.=| ^A269548;

650 0 a| Hybrid computers.=| ^A32602;

650 0 a| Operating systems (Computers)=| ^A47540;

650 0 a| Semantics.=| ^A5205;

830 0 a| Lecture notes in computer sciencev| 3456.=| ^A466336;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3456z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2005-06-22b| 58d| 0e| 55.1f| 622067;

596 a| 1;

998 a| 1000526;

999 a| QA76.54 .R87 2005w| LCc| 1i| 30372012771199d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERp| $55.10r| Ys| Yt| JGESBKu| 6/29/2005x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Rust, Heinrich
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2005.
Description	xii, 223 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Real-time data processing. Real-time programming. Hybrid computers. Operating systems (Computers) Semantics.

Series	Lecture notes in computer science ; 3456, 0302-9743 ; Lecture notes in computer science 3456. ^A466336
Bibliography note	Includes bibliographical references (p. [215]-220) and index.
Other forms	Also issued online.
LCCN	2005923604
ISBN	3540255761
ISBN	9783540255765

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.54 .R87 2005	✔ Available	Place Hold

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

Click here for more information about this title

Availability