| 000 | 01261nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023574 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144449.0 | ||
| 008 | 080117s2006 gw f 001 0 eng|d | ||
| 020 | _a3540372156 | ||
| 020 | _a9783540372158 | ||
| 039 | 9 |
_a201107131949 _bVLOAD _c200908141402 _dVLOAD _c200908141334 _dVLOAD _c200908131730 _dVLOAD _y200801171500 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.76.D47 I58 2006 | ||
| 111 | 2 |
_aInternational Symposium of Formal Methods Europe _n(14th : _d2006 : _cHamilton, Ont.) |
|
| 245 | 1 | 0 |
_aFM 2006 : formal methods : _b14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / _cJayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a620 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in computer science ; _v4085 |
|
| 650 | 0 |
_aComputer software _xDevelopment _vCongresses |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses |
|
| 650 | 0 |
_aSystem design _xMathematics _vCongresses |
|
| 700 | 1 | _aMisra, Jayadev | |
| 700 | 1 | _aNipkow, Tobias | |
| 700 | 1 | _aSekerinski, Emil | |
| 999 |
_aVIRTUA40 _c36854 _d36860 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*6502*7000*7001*7002*9991 | ||
| 942 | 0 | 0 | _01 |