Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig [and others] (eds.)
Saved in:
| Online Access: |
Access full-text online |
|---|---|
| Corporate Authors: | , |
| Other Authors: | |
| Other title: | Priority Program SoftSpez of the German Research Foundation (DFG) Priority Program SoftSpez. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2004.
|
| Series: | Lecture notes in computer science ;
3147. Lecture notes in computer science. State-of-the-art survey. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b3727242 | ||
| 003 | CoU | ||
| 005 | 20050412012908.0 | ||
| 006 | md | ||
| 007 | cr cn | ||
| 008 | 041001s2004 gw a b 001 0 eng d | ||
| 010 | |a 2004111959 | ||
| 020 | |a 3540231358 (pbk.) | ||
| 035 | |a (OCoLC)ocm56616937 | ||
| 040 | |a OHX |c OHX |d KKS |d CUS |d C$Q |d OCLCQ |d IXA | ||
| 043 | |a e-gw--- | ||
| 049 | |a CODI |a GWRE | ||
| 072 | 7 | |a TA |2 lcco | |
| 072 | 7 | |a Q |2 lcco | |
| 090 | |a QA76.76.D47 |b I55 2004 | ||
| 090 | |a QA76.76.D47 |b I55 2004 | ||
| 245 | 0 | 0 | |a Integration of software specification techniques for applications in engineering : |b Priority Program SoftSpez of the German Research Foundation (DFG) : final report / |c Hartmut Ehrig [and others] (eds.) |
| 246 | 3 | 0 | |a Priority Program SoftSpez of the German Research Foundation (DFG) |
| 246 | 3 | 0 | |a Priority Program SoftSpez. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2004. | ||
| 300 | |a x, 628 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3147. |a State-of-the-art survey. | |
| 500 | |a "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 page [4] | ||
| 500 | |a "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] | ||
| 504 | |a Includes bibliographical references and index. | ||
| 530 | |a Also issued online. | ||
| 650 | 0 | |a Computer software |z Germany |x Development. | |
| 650 | 0 | |a Computer software |x Specifications |z Germany. | |
| 650 | 0 | |a Production engineering |x Technological innovations |z Germany. | |
| 650 | 0 | |a Traffic engineering |x Technological innovations |z Germany. | |
| 700 | 1 | |a Ehrig, Hartmut. |0 http://id.loc.gov/authorities/names/n79131463 |1 http://isni.org/isni/0000000116849234. | |
| 710 | 2 | |a Deutsche Forschungsgemeinschaft. |0 http://id.loc.gov/authorities/names/n79006750 |1 http://isni.org/isni/0000000120969829. | |
| 711 | 2 | |a INT 2004 |d (2004 : |c Barcelona, Spain) |0 http://id.loc.gov/authorities/names/nb2004309272. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3147. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science. |p State-of-the-art survey. |0 http://id.loc.gov/authorities/names/no99061085. | |
| 856 | 4 | 1 | |z Access full-text online |u http://www.springerlink.com/app/home/issue.asp?wasp=cc569e04297b4c6a8f55662b246d059e&referrer=parent&backto=journal,397,2092;linkingpublicationresults,1:105633,1 |
| 907 | |a .b37272421 |b 03-19-20 |c 04-12-05 | ||
| 998 | |a eng |a web |b 07-26-05 |c a |d m |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b37272421 |b 01-26-15 |c 04-12-05 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b37272421 |b 12-03-13 |c 04-12-05 | ||
| 907 | |a .b37272421 |b 06-01-07 |c 04-12-05 | ||
| 946 | |a ssh | ||
| 948 | |a cwww05/06 : jul : ssh | ||
| 999 | f | f | |i 8095e4e4-51a2-5783-9c55-39a7457c57ad |s 11b58990-5416-5da2-a770-271dfc9be869 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Online |h Other scheme |i web |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Engineering Math & Physics |d Closed Stacks - Engineering Math & Physics Library - Stacks |e QA76.76.D47 I55 2004 |h Library of Congress classification |i book |m U183043604495 |n 1 |