000 01572aam a2200361 i 4500
005 20250930123947.0
006 m d
007 cr nn 008maaau
008 090212s2006 gw qb j 1 eng d
020 _a9783540356363 (electronic bk.)
035 _a(Springer)978-3-540-35633-2
039 9 _a200902121951
_bmuhaimin
_y04-04-2008
_zmuhaimin
050 0 0 _aQA76.758
_b.I5713 2006
082 0 0 _a005.1
_222
111 2 _aInternational Conference on Algebraic Methodology and Software Technology
_n(11th :
_d2006 :
_cKingissepa, Estonia)
245 1 0 _aAlgebraic Methodology and Software Technology
_h[electronic resource] :
_b11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
_cedited by Michael Johnson, Varmo Vene.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
300 _axi, 387 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4019
650 0 _aSoftware engineering
_vCongresses.
650 0 _aAbstract data types (Computer science)
_vCongresses.
_965020
700 1 _aJohnson, Michael.
700 1 _aVene, Varmo.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11784180
907 _a.b14144682
_b2025-05-15
_c2019-11-12
942 _n0
914 _avtls003372035
998 _ae0001
_b2008-04-04
_cm
_dz
_feng
_ggw
_y0
_z.b14144682
999 _c410448
_d410448