Tools

LEADER 02463cam a2200553 a 4500

001 ocm56616915;

003 OCoLC;

005 20141212181115.0;

007 cr un---------;

008 041001s2004 gw a b 101 0 eng d;

010 a| 2004112582;

016 7 a| 9721047202| GyFmDB;

020 a| 3540231676 (pbk.);

035 a| (Sirsi) o56616915;

035 a| (OCoLC)56616915;

049 a| EREE;

050 4 a| QA76.9.C65b| F67 2004;

072 7 a| QA2| lcco;

082 00 a| 003/.32| 22;

111 2 a| FORMATS (Conference)d| (2004 :c| Grenoble, France)=| ^A590039;

245 10 a| Formal techniques, modelling and analysis of timed and fault-tolerant systems :b| joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /c| Yassine Lakhnech, Sergio Yovine (Eds.).;

300 a| x, 395 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| 3253;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Computer simulationv| Congresses.=| ^A414896;

650 0 a| Temporal automatav| Congresses.=| ^A867851;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Machine theoryv| Congresses.=| ^A44837;

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

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

650 0 a| Robotsv| Congresses.=| ^A108908;

700 1 a| Lakhnech, Y.q| (Yassine)=| ^A590040;

700 1 a| Yovine, Sergio.=| ^A590041;

711 2 a| FTRTFT 2004d| (2004 :c| Grenoble, France)=| ^A590042;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3253z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har040109515c| 59.92 EUR;

980 a| 2005-01-05b| 78d| 0e| 74.1f| 517726;

596 a| 1;

998 a| 985434;

999 a| QA76.9.C65 F67 2004w| LCc| 1i| 30372012644594d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 1/14/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (Eds.).

Author/creator	FORMATS (Conference)
Other author	Lakhnech, Y. (Yassine)
Other author	Yovine, Sergio.
Other author	FTRTFT 2004 (2004 : Grenoble, France)
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 395 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer simulation--Congresses. Temporal automata--Congresses. Formal methods (Computer science)--Congresses. Machine theory--Congresses. Real-time data processing--Congresses. Fault-tolerant computing--Congresses. Robots--Congresses.

Series	Lecture notes in computer science ; 3253 Lecture notes in computer science 3253. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004112582
ISBN	3540231676 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.C65 F67 2004	✔ Available	Place Hold

Click here for more information about this title

Availability