| 000 | 01251nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000015373 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144147.0 | ||
| 008 | 060821t e 001 0 eng d | ||
| 020 | _a3540297979 | ||
| 039 | 9 |
_a201107131838 _bVLOAD _c200908141230 _dVLOAD _c200908141202 _dVLOAD _c200908131633 _dVLOAD _y200608211515 _zdilla |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9 .F67 I58 2005 | ||
| 111 | 1 |
_aInternational Conference on Formal Engineering Methods _n(7th : _d2005 : _cManchester, England) |
|
| 245 | 1 |
_aFormal methods and software engineering : _b7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / _cedited by Kung-Kiu Lau, Richard Banach |
|
| 260 |
_aBerlin : _bSpringer, _c2005 |
||
| 300 |
_a496 p. : _bill. ; _c24 cm |
||
| 440 | _aLecture notes in computer science | ||
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses |
|
| 650 | 0 |
_aSoftware engineering _vCongresses |
|
| 700 | 1 | 2 | _aLau, Kung-Kiu |
| 700 | 1 | 2 | _aBanach, Richard |
| 856 | 4 | 2 |
_ahttp://www.springerlink.com/openurl.asp?genre=issue & issn=0302-9743&volume=3785 _zConnect to resource online |
| 999 |
_aVIRTUA40 _c30593 _d30599 |
||
| 999 | _aVTLSSORT0080*0200*0900*1110*2450*2600*3000*4400*6500*6501*7000*7001*8560*9991 | ||