| 000 | 01492nam a2200301zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131604.0 | ||
| 008 | 060317s2004 gw a b 001 0 eng d | ||
| 020 | _a3540231358 (rústica) | ||
| 035 | _aMX001001060257 | ||
| 039 | _aDIG | ||
| 040 |
_aOHX _bspa _cOHX _dKKS _dCUS _dOCLCQ _dIXA _dOCL _dDLC _dUNAMX |
||
| 050 | 4 |
_aQA76.76D47 _bI565 |
|
| 082 | 0 | 0 |
_a005.10943 _222 |
| 245 | 0 | 0 |
_aIntegration of software specification techniques for applications in engineering : _bPriority Program SoftSpez of the German Research Foundation (DFG) : final report / _cHartmut Ehrig ... [y otros., eds.] |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2004 |
|
| 300 |
_ax, 628 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v3147. _pState-of-the-art survey |
|
| 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) ... "--P. [1] | ||
| 650 | 4 |
_aSoftware para computadora _zAlemania _xDesarrollo |
|
| 650 | 4 |
_aSoftware para computadora _xEspecificaciones _zAlemania |
|
| 700 | 1 |
_aEhrig, Hartmut, _eeditor |
|
| 856 | 4 | 1 |
_uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3147 _zRestricted to Springer LINK subscribers |
| 830 |
_aLecture notes in computer science _x0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c17294 _d17294 |
||