| 000 | 01251nam a2200289zi 4500 | ||
|---|---|---|---|
| 005 | 20220303112444.0 | ||
| 008 | 020523c 2001gw a b 101 0 eng | ||
| 020 | _a3540417915 | ||
| 035 | _aMX001000915777 | ||
| 039 | _aDIG | ||
| 040 |
_aDLC _cDLC _dCUS _dC#P _dUKM _dOHX _dC$Q _dLVB |
||
| 041 | _aENG | ||
| 050 | 0 | 0 |
_aQA76.76D47 _bI577 2001 |
| 111 | 2 |
_aInternational Symposium of Formal Methods Europe _n(10 : _d2001 : _cBerlin, Alemania) |
|
| 245 | 1 | 0 |
_aFME 2001 : _bformal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, march 12-16, 2001 : proceedings / _cJose Nuno Oliveira, Pamela Zave, eds. |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2001 |
|
| 300 |
_axiii, 628 páginas _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v2021 |
|
| 650 | 0 |
_aSoftware para computadora _xDesarrollo _vCongresos |
|
| 700 | 1 |
_aOliveira, Jose N., _eeditor |
|
| 700 | 1 |
_aZave, Pamela, _d1948- , _eeditor |
|
| 856 | 4 | 1 |
_uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2021.htm _zRestricted to Springer LINK subscribers |
| 830 |
_aLecture notes in computer science _x0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c3444 _d3444 |
||