Tools

LEADER 01637cam a2200385 a 4500

001 ocm31044783;

003 OCoLC;

005 20141212115435.0;

008 940817s1994 gw a b 100 0 eng ;

010 a| 94033384;

020 a| 0387584684 (acid-free paper);

035 a| (Sirsi) o31044783;

035 a| (OCoLC)31044783;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 004/.332| 20;

245 00 a| Formal techniques in real-time and fault-tolerant systems :b| third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /c| H. Langmaack, W.-P. de Roever, J. Vytopil, eds.;

300 a| xiv, 787 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| 863;

504 a| Includes bibliographical references.;

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

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

700 1 a| Langmaack, Hans.=| ^A260837;

700 1 a| Roever, W.-P. de,d| 1943-=| ^A535040;

700 1 a| Vytopil, J.q| (Jan),d| 1947-=| ^A292247;

710 2 a| Working Group Provably Correct Systems.=| ^A362446;

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

596 a| 1;

998 a| 574412;

999 a| QA76.54 .F66 1994w| LCc| 1i| 30372008907039d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERp| $102.00r| Ys| Yt| JGESBKu| 2/7/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.

Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	xiv, 787 pages : illustrations ; 24 cm.
Subjects	Real-time data processing--Congresses. Fault-tolerant computing--Congresses.

Other author/creator	Langmaack, Hans.
Other author/creator	Roever, W.-P. de, 1943-
Other author/creator	Vytopil, J. (Jan), 1947-
Other author/creator	Working Group Provably Correct Systems.
Series	Lecture notes in computer science ; 863 Lecture notes in computer science 863. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	94033384
ISBN	0387584684 (acid-free paper)

Availability

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

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.

Click here for more information about this title

Availability