Research Catalog

Title

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.).

Publication

Berlin ; New York, N.Y. : Springer, 2004.

Items in the Library & Off-site

Details

Additional Authors

• Ehrig, Hartmut
• Deutsche Forschungsgemeinschaft

Description

x, 628 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3147. State-of-the-art survey

Uniform Title

• Lecture notes in computer science ; 3147.
• Lecture notes in computer science. State-of-the-art survey.

Alternative Title

• Priority Program SoftSpez of the German Research Foundation (DFG)
• Priority Program SoftSpez

Subject

• Computer software > Germany > Development > Congresses
• Computer software > Germany > Specifications > Congresses
• Production engineering > Technological innovations > Germany > Congresses
• Traffic engineering > Technological innovations > Germany > Congresses
• Engineering > Germany > Software > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Additional Formats (note)

• Also issued online.

Call Number

JSE 05-16

ISBN

3540231358 (pbk.)

LCCN

2004111959

OCLC

56616937

Title

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.).

Imprint

Berlin ; New York, N.Y. : Springer, 2004.

Series

Lecture notes in computer science, 0302-9743 ; 3147. State-of-the-art survey

Lecture notes in computer science ; 3147.

Lecture notes in computer science. State-of-the-art survey.

Bibliography

Includes bibliographical references and index.

Additional Formats

Also issued online.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Ehrig, Hartmut.

Deutsche Forschungsgemeinschaft.

Research Call Number

JSE 05-16