000 01260nam a2200313zi 4500
005 20220221131554.0
008 050816s2004 gw a 100 0 eng d
020 _a3540227911 (rústica)
035 _aMX001001035975
040 _aUNAMX
_bspa
_cUNAMX
_dUNAMX
050 1 4 _aQA76.6
_bI578 2004
111 2 _aInternational Static Analysis Symposium
_n(11 :
_d2004 :
_cVerona, Italia)
245 1 0 _aStatic analysis :
_b11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
_cRoberto Giacobazzi (ed.)
246 3 0 _a11th International Symposium, SAS 2004
246 3 0 _aInternational Symposium, SAS 2004
246 3 0 _aSAS 2004
264 1 _aBerlin :
_bSpringer Verlag,
_cc2004
300 _axi, 392 páginas
_bilustraciones
490 0 _aLecture notes in computer science,
_vv. 3148
500 _a"11th International Static Analysis Symposium"--Pref.
650 4 _aProgramación de computadoras
_vCongresos
650 4 _aLenguajes de programación (Computadoras)
_vCongresos
700 1 _aGiacobbe, Giovanni,
_eeditor
830 _aLecture notes in computer science
_x 0302-9743
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c16732
_d16732