Tools

LEADER 01697cam a22004454a 4500

001 ocm53178309;

003 OCoLC;

005 20141211185429.0;

008 030930s2004 gw b 001 0 eng ;

010 a| 2003066406;

016 7 a| 9686684292| GyFmDB;

020 a| 3540408231 (hardcover : acid-free paper);

035 a| (Sirsi) o53178309;

035 a| (OCoLC)53178309;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.54b| .Z46 2004;

072 7 a| QA2| lcco;

082 00 a| 005.2/732| 22;

100 1 a| Zhou, Chaochen,d| 1937-=| ^A629729;

245 10 a| Duration calculus :b| a formal approach to real-time systems /c| Chaochen Zhou, Michael R. Hansen.;

300 a| x, 247 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| EATCS monographs on theoretical computer science;

504 a| Includes bibliographical references (p. [227]-237) and indexes.;

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

650 0 a| Formal methods (Computer science)=| ^A446919;

650 0 a| Mathematicsx| Data processing.=| ^A27360;

700 1 a| Hansen, Michael R.=| ^A1114804;

830 0 a| EATCS monographs on theoretical computer science.=| ^A201854;

994 a| C0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har030115556c| 64.15 EUR;

938 a| Baker & Taylorb| BKTYc| 84.95d| 84.95i| 3540408231n| 0004339462s| active;

596 a| 1;

998 a| 1031456;

999 a| QA76.54 .Z46 2004w| LCc| 1i| 30372013720930d| 11/17/2021f| 2/8/2013g| 1l| JGESm| JOYNERp| $67.16q| 1r| Ys| Yt| JGESBKu| 4/6/2006x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Zhou, Chaochen, 1937-
Other author	Hansen, Michael R.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 247 pages ; 25 cm.
Subjects	Real-time data processing. Formal methods (Computer science) Mathematics--Data processing.

Series	EATCS monographs on theoretical computer science EATCS monographs on theoretical computer science. ^A201854
Bibliography note	Includes bibliographical references (p. [227]-237) and indexes.
LCCN	2003066406
ISBN	3540408231 (hardcover : acid-free paper)

Availability

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

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

Click here for more information about this title

Availability