Embedded software : Firsth International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

>> Amazon.co.jp

このページのQRコード

Embedded software : Firsth International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

種類:

図書

責任表示:

Thomas A. Henzinger, Christoph M. Kirsch (eds.)

出版情報:

Berlin : Springer, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2211 . lecture notes in artificial intelligence <BA00009279>

ISSN:

03029743

ISBN:

9783540426738 [3540426736]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer software--Development--Congresses
分類・件名:	NDC9 : 007 LCSH : Computer software -- Development -- Congresses
LCCN:	01049832
TTLL:	eng
言語:	英語
形態:	ix, 504 p. : ill. ; 24 cm
書誌ID:	BA54188502

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Software process technology : Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings EWSPT, Derniame, J. C. (Jean Claude) Springer-Verlag	7 図書 Object technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会 Springer-Verlag
2 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953- Springer-Verlag	8 図書 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel Springer-Verlag
3 図書 Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers ICSE, Lamb, David Alex, 1954- Springer	9 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed Springer
4 図書 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings EWSPT, Schäfer, Wilhelm Springer-Verlag	10 図書 Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings SPIN, Ball, Thomas, Rajamani, Sriram K. Springer
5 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : … International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948- Springer	11 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard Springer
6 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans Springer-Verlag	12 図書 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, … International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James Springer-Verlag