Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

>> Google Books

QRコード(所蔵情報)

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

フォーマット:

図書

責任表示:

Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

ix, 421 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2491 <BA00009279>

書誌ID:

BA59296761

ISBN:

9783540443070 [354044307X]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	Embedded software second International Conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
主題:	Computer software--Development--Congresses
分類・件名:	LCC : QA76.76.D47 DDC : 005.1 LCSH : Computer software -- Development -- Congresses
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Embedded Software EMSOFT (Conference), Sangiovanni-Vincentelli, Alberto, Sifakis, Joseph Springer Berlin Heidelberg	7 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings SPIN, Bošnački, Dragan, Leue, Stefan Springer
2 図書 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings EMSOFT, Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968- Springer	8 図書 Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings International Workshop on Hybrid Systems : Computation and Control, Di Benedetto, Maria Domenica, … Springer
3 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966- Springer	9 図書 Proceedings of the 9th international conference on amorphous and liquid semiconductors : held at Grenoble, France July 2-8, 1981 International Conference on Amorphous and Liquid Semiconductors., Chakraverty, B. K. Les éditions de physique
4 図書《UML》 2002 - the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October … UML, Jézéquel, Jean-Marc, 1964-, Hussmann, Heinrich, Cook, Stephen, 1948- Springer	10 電子ブック Embedded Software EMSOFT (Conference), Henzinger, Thomas A., Kirsch, Christoph M. Springer Berlin Heidelberg
5 図書《UML》 2004 - the Unified Modeling Language : modeling languages and applications : 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : … UML, Baar, Thomas, Strohmeier, Alfred, Moreira, Ana M. D., Mellor, Stephen J. Springer	11 電子ブック Embedded Software EMSOFT (Conference), Alur, Rajeev, Lee, Insup Springer Berlin Heidelberg
6 図書《UML》 2001 - the Unified Modeling Language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : … UML, Gogolla, Martin, 1954-, Kobryn, Cris, 1952- Springer	12 図書 Real analytic and algebraic geometry : proceedings of the conference held in Trento, Italy, October 3-7, 1988 Galbiati, Margherita, 1946-, Tognoli, Alberto, 1937-, Meeting on Real Analytic and Algebraic Geometry Springer-Verlag