/LC.GIF&client=easterncarolinaedu)
Integration of software specification techniques for applications in engineering Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig ... [et al.] (eds.).
| Other author | Ehrig, Hartmut. |
| Other author | Deutsche Forschungsgemeinschaft. |
| Other author | INT 2004 (2004 : Barcelona, Spain) |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | x, 628 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Portion of title | Priority Program SoftSpez of the German Research Foundation (DFG) |
| Portion of title | Priority Program SoftSpez |
| Series | Lecture notes in computer science, 0302-9743 ; 3147. State-of-the-art survey Lecture notes in computer science ; 3147. ^A466336 Lecture notes in computer science. State-of-the-art survey. ^A1217921 |
| General note | "This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004."--Cover p. [4]. |
| General note | "The research area 'Integration of Software Specification Techniques for Applications in Engineering' has been established as a priority program of the German Research Council (DFG) for the period of 1998-2004 and was subject of the international workshops INT 2000, 2002, and 2004 as satellite events of the 'European Joint Conferences on Theory and Practice of Software' (ETAPS)."--P. [1]. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Other forms | Also issued online. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2004111959 |
| ISBN | 3540231358 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |