000 02171nam a2200469 a 4500
005 20250918124720.0
006 m d
007 cr nn 008maaau
008 101230s2010 gw s j eng d
020 _a9783642136788 (electronic bk.)
020 _a9783642136771 (paper)
035 _a(Springer)978-3-642-13677-1
039 9 _y12-30-2010
_zmuhaimin
050 0 4 _aQA76.9.F67
_bI58 2010
082 0 4 _a005.131
_222
090 _aQA76.9.F67
_bI61 2010
111 2 _aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
_n(10th :
_d2010 :
_cBertinoro, Italy)
245 1 0 _aFormal methods for quantitative aspects of programming languages
_h[electronic resource] :
_b10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
_cedited by Alessandro Aldini ... [et al.].
246 3 0 _aSFM 2010
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2010.
300 _a1 online resources(167 p.) :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v6154
650 0 _aFormal methods (Computer science)
_vCongresses.
650 0 _aProgramming languages (Electronic computers)
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aAntibodies.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aInformation Systems Applications (incl.Internet)
650 2 4 _aSoftware Engineering.
700 1 _aAldini, Alessandro.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uuhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-13678-8
907 _a.b14888968
_b2023-11-29
_c2019-11-12
942 _n0
_kQA76.9.F67 I61 2010
914 _avtls003450595
998 _ae0001
_b2010-04-12
_cm
_da
_feng
_ggw
_y0
_z.b14888968
999 _c475456
_d475456