000 02290cam a22003495a 4500
001 vtls000000347
003 VRT
005 20250102224212.0
008 080915s2005 gw a | 101 0 eng d
020 _a3540256970
039 9 _a201402040044
_bVLOAD
_c201010091156
_dmalmash
_c200809151355
_dstaff
_c200809151354
_dstaff
_y200809151351
_zstaff
050 _aQA76
_b.L43I575 2005
082 0 0 _a005.13/1
_222
111 2 _aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
_n(5th :
_d2005 :
_cBertinoro, Italy)
_937585
245 1 0 _aFormal methods for mobile computing :
_b5th 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 /
_cMarco Bernardo, Alessandro Bogliolo (eds.).
246 3 0 _a5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems :
_bSFM-Moby 2005.
260 _aBerlin :
_bSpringer,
_cc2005.
300 _avi, 270 p. :
_bill. ;
_c24 cm.
490 1 _aLecture notes in computer science ;
_v3465
_aTutorial.
504 _aIncludes bibliographical references and index.
520 _aThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
650 0 _aFormal methods (Computer science)
_vCongresses.
_937586
650 0 _aMobile computing
_vCongresses.
_931271
650 0 _aComputer software
_vCongresses.
_937587
650 0 _aSystem design
_vCongresses.
_937588
700 1 _aBernardo, Marco.
_937589
700 1 _aBogliolo, Alessandro.
_937590
830 0 _aLecture notes in computer science ;
_v3465.
_9767
830 0 _aLecture notes in computer science ;
_pTutorial.
_937591
856 4 2 _uhttp://www.loc.gov/catdir/enhancements/fy0663/2005924063-d.html
942 _2lcc
_n0
_cBK
999 _c16666
_d16666