Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France.

(Lecture Notes in Computer Science ; 2491)

Call No. (NDL): M17-03-188
Bibliographic ID of National Diet Library: 000003997354

Material type: 図書

Author: Verimag Laboratory.ほか

Publisher: Springer

Publication date: 2002.

Material Format: Paper

Capacity, size, etc.: ix, 421 p. : fig., tab. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t2509.htm.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 354044307X (softcover : alk. paper)
ISSN (series): 0302-9743
Title: Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 2491
Author Heading: Verimag Laboratory.
Sangiovanni-Vincentelli, Alberto.
Sifakis, J. (Joseph) , 1946-
EMSOFT 2002 (2002 : Grenoble, France)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: 2002.
Publication Date (W3CDTF): 2002
Extent: ix, 421 p. : fig., tab. ; 24 cm.
Alternative Title: Embedded software : 2nd international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software -- Development -- Congresses.
Embedded computer systems -- Programming -- Congresses.
LCC: QA76.76.D47
DDC: 005.1
NDLC: M17
Note (General): Papers.
Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t2509.htm.
Note (Bibliography): Includes bibliographical references and index.
Note (Additional Physical Form Available): Also available via the World Wide Web.
Holding library: 国立国会図書館
Call No.: M17-03-188
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003997354
http://id.ndl.go.jp/bib/000003997354
LC Control Number: 2002034513
https://lccn.loc.gov/2002034513
RLIN No.: ILCG4747797-B
Bibliographic Record Category (NDL): 215