| 000 | 00833nam a2200205Ia 4500 | ||
|---|---|---|---|
| 999 |
_c22246 _d22246 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9783540256977 _cpbk |
||
| 082 |
_a004 _bBER |
||
| 100 | _aBogliolo, Alessandro | ||
| 245 | 0 | _aFormal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures | |
| 260 |
_aBerlin: _bSpringer, _c2005 |
||
| 300 |
_avi, 270 p.; _b: _c24 cm. |
||
| 365 |
_aINR _b2574.00 |
||
| 440 | _v3465 | ||
| 490 | _aLecture notes in computer science | ||
| 650 | _aComputer software | ||
| 650 | _aSFM-Moby | ||
| 650 | _aFormal methods | ||
| 650 | _aMobile computing | ||
| 650 | _aSystem design | ||
| 650 | _aMobile | ||
| 700 | _aBernardo, Marco | ||
| 942 |
_2ddc _cBK |
||