Tools

LEADER 02033cam a22005054a 4500

001 ocm50604924;

003 OCoLC;

005 20141212164748.0;

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

008 020909s2002 gw a b 101 0 eng ;

010 a| 2002034513;

015 a| GBA2-73023;

016 7 a| 96510088X2| GyFmDB;

020 a| 354044307X (softcover : alk. paper);

035 a| (Sirsi) o50604924;

035 a| (OCoLC)50604924;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.D47b| E47 2002;

072 7 a| QA2| lcco;

082 00 a| 005.12| 21;

111 2 a| EMSOFT (Conference)=| ^A728082;

245 10 a| Embedded software :b| second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /c| Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.).;

300 a| ix, 421 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| 2491;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 0 a| Embedded computer systemsx| Programmingv| Congresses.=| ^A1237673;

700 1 a| Sangiovanni-Vincentelli, Alberto.=| ^A486641;

700 1 a| Sifakis, J.q| (Joseph),d| 1946-=| ^A259114;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2491.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har020082434c| 55.64 DEM;

980 a| 2002-12-04b| 69d| 4.59e| 65.55f| 120362;

596 a| 1;

998 a| 895781;

999 a| QA76.76.D47 E47 2002w| LCc| 1i| 30372011965636d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $65.55r| Ys| Yt| JGESBKu| 12/17/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.).

Author/creator	EMSOFT (Conference)
Other author	Sangiovanni-Vincentelli, Alberto.
Other author	Sifakis, J. (Joseph), 1946-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	ix, 421 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer software--Development. --Congresses. Embedded computer systems--Programming. --Congresses.

Series	Lecture notes in computer science ; 2491 Lecture notes in computer science 2491. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002034513
ISBN	354044307X (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 E47 2002	✔ Available	Place Hold

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.).

Click here for more information about this title

Availability