Tools

LEADER 02090cam a2200505 a 4500

001 ocm63107695;

003 OCoLC;

005 20141211184834.0;

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

008 051110s2005 gw a b 101 0 eng ;

010 a| 2005937088;

020 a| 3540309462 (soft cover : alk. paper);

020 a| 9783540309468;

029 1 a| OHXb| har050140532;

035 a| (Sirsi) o63107695;

035 a| (OCoLC)63107695;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.C65b| F676 2005;

082 00 a| 003/.32| 22;

111 2 a| FORMATS (Conference)n| (3rd :d| 2005 :c| Uppsala, Sweden)=| ^A629184;

245 10 a| Formal modeling and analysis of timed systems :b| third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /c| Paul Pettersson, Wang Yi (eds.).;

246 30 a| FORMATS 2005;

300 a| ix, 303 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| 3829,x| 0302-9743 ;;

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| Real-time data processingv| Congresses.=| ^A11461;

650 0 a| System analysisv| Congresses.=| ^A51061;

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

700 1 a| Pettersson, Paul.=| ^A614220;

700 1 a| Yi, Wang.=| ^A489189;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3829z| Restricted to SpringerLink subscribers;

994 a| C0b| ERE;

596 a| 1;

998 a| 1026106;

999 a| QA76.9.C65 F676 2005w| LCc| 1i| 30372012973050d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $56.28r| Ys| Yt| JGESBKu| 2/21/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).

Author/creator	FORMATS (Conference)
Other author	Pettersson, Paul.
Other author	Yi, Wang.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2005.
Description	ix, 303 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer simulation--Congresses. Temporal automata--Congresses. Real-time data processing--Congresses. System analysis--Congresses. Formal methods (Computer science)--Congresses.

Portion of title	FORMATS 2005
Series	Lecture notes in computer science ; 3829, 0302-9743 ; Lecture notes in computer science 3829. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005937088
ISBN	3540309462 (soft cover : alk. paper)
ISBN	9783540309468

Availability

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

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).

Click here for more information about this title

Availability