Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. : 3rd international workshop INT 2004 on "integration of specification techniques for applications in engineering" : 2004, ------. (Lecture Notes in Computer Science ; 3147. State-of-the-Art Survey)

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. : 3rd international workshop INT 2004 on "integration of specification techniques for applications in engineering" : 2004, ------.

(Lecture Notes in Computer Science ; 3147. State-of-the-Art Survey)

Call No. (NDL): M17-05-904
Bibliographic ID of National Diet Library: 000007693898

Material type: 図書

Author: Ehrig, Hartmut.

Publisher: Springer

Publication date: c2004.

Material Format: Paper

Capacity, size, etc.: x, 628 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."INT 2004 was launched as a satellite event of ETAPS in Barcelona, the 'European Joint Conference on Theory and Practice of Software'." -- pref...

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: 3540231358
ISSN (series): 0302-9743
Title: Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. : 3rd international workshop INT 2004 on "integration of specification techniques for applications in engineering" : 2004, ------.
Series Title: Lecture Notes in Computer Science ; 3147. State-of-the-Art Survey
Title Heading: Lecture notes in computer science ; 3147.
Lecture notes in computer science. State-of-the-art survey.
Author Heading: Ehrig, Hartmut.
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2004.
Publication Date (W3CDTF): 2004
Extent: x, 628 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software -- Germany -- Development -- Congresses.
Computer software -- Germany -- Specifications -- Congresses.
Production engineering -- Technological innovations -- Germnay -- Congresses.
Traffic engineering -- Technological innovations -- Germany -- Congresses.
Engineering -- Germany -- Software -- Congresses.
LCC: QA76.76.D47
NDLC: M17
Note (General): Papers.
"INT 2004 was launched as a satellite event of ETAPS in Barcelona, the 'European Joint Conference on Theory and Practice of Software'." -- preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-05-904
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007693898
http://id.ndl.go.jp/bib/000007693898
LC Control Number: 2004111959
https://lccn.loc.gov/2004111959
RLIN No.: PAUGV3663439-B
Bibliographic Record Category (NDL): 215