| 000 | 01142nam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023589 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144452.0 | ||
| 008 | 080117s2006 gw f 001 0 eng|d | ||
| 020 | _a3540388621 | ||
| 020 | _a9783540388623 | ||
| 039 | 9 |
_a201107131949 _bVLOAD _c200908141402 _dVLOAD _c200908141334 _dVLOAD _c200908131731 _dVLOAD _y200801171727 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aTK5105.88813 .W7 2006 | ||
| 111 | 2 |
_aWS-FM 2006 _n(3rd. : _d2006 : _cVienna, Austria) |
|
| 245 | 1 | 0 |
_aWeb services and formal methods : _bthird international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / _cMario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a287 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in computer science ; _v4184 |
|
| 650 | 0 |
_aWeb services _vCongresses |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses |
|
| 700 | 1 | _aBravetti, Mario | |
| 700 | 1 | _aNúñez, Manuel | |
| 700 | 1 | _aZavattaro, Gianluigi | |
| 999 |
_aVIRTUA40 _c36937 _d36943 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*7000*7001*7002*9991 | ||