Coverart for item
The Resource 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.), (electronic resource)

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.), (electronic resource)

Label
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Title
Integration of software specification techniques for applications in engineering
Title remainder
Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Statement of responsibility
Hartmut Ehrig ... [et al.] (eds.)
Title variation
  • Priority Program SoftSpez of the German Research Foundation (DFG)
  • Priority Program SoftSpez
Contributor
Subject
Language
eng
Member of
Cataloging source
OHX
Dewey number
005.10943
LC call number
QA76.76.D47
LC item number
I554 2004
http://library.link/vocab/relatedWorkOrContributorDate
2004
http://library.link/vocab/relatedWorkOrContributorName
  • Ehrig, Hartmut
  • Deutsche Forschungsgemeinschaft
  • INT 2004
Series statement
  • Lecture notes in computer science,
  • State-of-the-art survey
Series volume
3147.
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
Label
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.), (electronic resource)
Instantiates
Publication
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]
  • "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
Control code
OCM1bookssj0000180418
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 628 pages
Isbn
9783540231356
Isbn Type
(pbk.)
Lccn
2004111959
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000180418
Label
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.), (electronic resource)
Publication
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]
  • "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
Control code
OCM1bookssj0000180418
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 628 pages
Isbn
9783540231356
Isbn Type
(pbk.)
Lccn
2004111959
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000180418

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...