Tools

LEADER 01574cam 2200373 a 4500

001 ocm18560931;

005 20141212060111.0;

008 880913s1988 wb a b 100 0 eng ;

010 a| 88029465;

020 a| 0387503021 (U.S.) :c| DM36.00;

035 a| (Sirsi) o18560931;

035 a| (OCoLC)18560931;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.54b| .F66 1988;

082 0 a| 004/.332| 19;

245 00 a| Formal techniques in real-time and fault-tolerant systems :b| proceedings of a symposium, Warwick, UK, September 22-23, 1988 /c| M. Joseph, ed.;

300 a| vi, 229 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 331;

500 a| Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick.;

504 a| Includes bibliographies.;

650 0 a| Real-time data processingv| Congresses.=| ^A11461;

650 0 a| Fault-tolerant computingv| Congresses.=| ^A238562;

700 1 a| Joseph, M.=| ^A178063;

711 2 a| Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systemsd| (1988 :c| Warwick, England)=| ^A238563;

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

919 a| BOOK;

596 a| 1;

998 a| 336211;

999 a| QA76.54.F66 1988w| LCc| 1i| 30372005174914d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/1/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed.

Other author	Joseph, M.
Other author	Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1988.
Description	vi, 229 pages : illustrations ; 25 cm.
Subjects	Real-time data processing--Congresses. Fault-tolerant computing--Congresses.

Series	Lecture notes in computer science ; 331 Lecture notes in computer science 331. ^A466336
General note	Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick.
Bibliography note	Includes bibliographies.
LCCN	88029465
ISBN	0387503021 (U.S.) :

Availability

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

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed.

Click here for more information about this title

Availability