| 000 | 01142nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023557 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144448.0 | ||
| 008 | 080116s2006 gw f 001 0 eng|d | ||
| 020 | _a3540474609 | ||
| 020 | _a9783540474609 | ||
| 039 | 9 |
_a201107131949 _bVLOAD _c200908141402 _dVLOAD _c200908141334 _dVLOAD _c200908131730 _dVLOAD _y200801161735 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.F67 I58 2006 | ||
| 111 | 2 |
_aInternational Conference on Formal Engineering Methods _n(8th : _d2006 : _cMacau, China) |
|
| 245 | 1 | 0 |
_aFormal methods and software engineering : _b8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / _cZhiming Liu, Jifeng He (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a626 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in computer science; _v2495 |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses |
|
| 650 | 0 |
_aSoftware engineering _vCongresses |
|
| 700 | 1 | _aLiu, Zhiming | |
| 700 | 1 | _aHe, Jifeng | |
| 999 |
_aVIRTUA40 _c36795 _d36801 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*7000*7001*9991 | ||