000 02214nam a2200493 a 4500
005 20250930145039.0
006 m d
007 cr nn 008maaau
008 100623s2009 gw j eng d
020 _a9783642021381 (electronic bk.)
020 _a9783642021374 (paper)
035 _a(Springer)978-3-642-02137-4
039 9 _y06-23-2010
_zmuhaimin
050 4 _aQA76.9.D5
_bI573 2009
082 0 4 _a004.36
_222
090 _aQA76.9.D5
_bI61 2009
111 2 _aInternational Conference on Formal Methods for Open Object-Based Distributed Systems
_n(11th :
_d2009 :
_cLisbon, Portugal)
245 1 0 _aFormal techniques for distributed systems
_h[electronic resource] :
_bJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
_cedited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _axii, 248 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v5522
650 0 _aElectronic data processing
_xDistributed processing
_vCongresses.
650 0 _aObject-oriented programming (Computer science)
_vCongresses.
_961938
650 0 _aFormal methods (Computer science)
_vCongresses.
650 2 4 _aComputer Communication Networks.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
700 1 _aLee, David.
700 1 _aLopes, Antonia.
700 1 _aPoetzsch-Heffter, Arnd.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-02138-1
907 _a.b1475096x
_b2024-10-01
_c2019-11-12
942 _n0
_kQA76.9.D5 I61 2009
914 _avtls003436038
998 _ae0001
_b2010-10-06
_cm
_da
_feng
_ggw
_y0
_z.b1475096x
999 _c678579
_d678579