Tools

LEADER 01741cam a2200445 a 4500

001 ocm39678240;

003 OCoLC;

005 20141212133018.0;

008 980805s1998 gw a b 001 0 eng ;

010 a| 98040041;

015 a| GB98-81276;

019 a| 40424796;

020 a| 3540650032 (softcover);

035 a| (Sirsi) o39678240;

035 a| (OCoLC)39678240;

049 a| EREE;

050 00 a| QA76.54b| .F75 1998;

072 7 a| QA2| lcco;

082 00 a| 004/.332| 21;

111 2 a| FTRTFT '98d| (1998 :c| Lyngby, Denmark)=| ^A411411;

245 10 a| Formal techniques in real-time and fault-tolerant systems :b| 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /c| Anders P. Ravn, Hans Rischel (eds.).;

300 a| viii, 338 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

500 a| "Fifth in a line of international schools and symposia"--Pref.;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Ravn, Anders P.=| ^A411412;

700 1 a| Rischel, Hans.=| ^A411413;

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

994 a| E0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har000624529c| 74.00 DEM;

596 a| 1;

998 a| 663014;

999 a| QA76.54 .F75 1998w| LCc| 1i| 30372010582275d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/7/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.).

Author/creator	FTRTFT '98
Other author	Ravn, Anders P.
Other author	Rischel, Hans.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	viii, 338 pages : illustrations ; 24 cm.
Subjects	Real-time data processing--Congresses. Fault-tolerant computing--Congresses.

Series	Lecture notes in computer science ; 1486 Lecture notes in computer science 1486. ^A466336
General note	"Fifth in a line of international schools and symposia"--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	98040041
ISBN	3540650032 (softcover)

Availability

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

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.).

Click here for more information about this title

Availability