000 02162nam a22004815a 4500
005 20250918001916.0
006 m d
007 cr nn 008maaau
008 100623s2008 gw j eng d
020 _a9783540788003 (electronic bk.)
020 _a9783540787990 (paper)
035 _a(Springer)978-3-540-78799-0
039 9 _a201006230901
_bmuhaimin
_y02-03-2009
_zmuhaimin
082 0 4 _a004
_220
090 _aQA75.5
_b.T115 2008
111 2 _aTACAS 2008
_d(2008 :
_cBudapest, Hungary)
245 1 0 _aTools and algorithms for the construction and analysis of systems
_h[electronic resource] :
_b14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
_cC.R. Ramakrishnan, Jakob Rehof (eds.).
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2008.
300 _axvi, 518 p. :
_bill., digital ;
_c[24-28 cm. ?]
440 0 _aLecture notes in computer science ;
_v4963
440 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues
504 _aIncludes bibliographical references and index.
650 0 _aSystem design
_vCongresses.
650 0 _aSystem analysis
_vCongresses.
650 0 _aComputer software
_xDevelopment
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aComputer Communication Networks.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aSoftware Engineering.
700 1 _aRamakrishnan, C. R.
700 1 _aRehof, Jakob.
710 2 _aSpringerLink (Online service)
711 2 _aETAPS 2008
_d(2008 :
_cBudapest, Hungary)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://link.springer.com/10.1007/978-3-540-78800-3
907 _a.b14378218
_b2024-01-22
_c2019-11-12
942 _n0
_kQA75.5 .T115 2008
914 _avtls003396715
998 _ae0001
_b2009-03-02
_cm
_da
_feng
_ggw
_y0
_z.b14378218
999 _c432575
_d432575