000 01215cam a22003134a 4500
005 20250914143519.0
008 050601s2005 nyua bi 001 0 eng
020 _a1852339470 (hbk.)
_cRM363.97
039 9 _a200705251643
_bariff
_c200705081138
_didah
_c200611020938
_drahah
_c200611020938
_y05-23-2006
_zrahah
090 _aQA76.76.I58A354
090 _aQA76.76.I58
_bA354
245 0 0 _aAgent technology from a formal perspective /
_cedited by Christopher A. Rouff with Michael Hinchey ... [et al.]
260 _aNew York :
_bSpringer,
_c2005
300 _axvi, 354 p. :
_bill. ;
_c25 cm.
440 0 _aNASA monographs in systems and software engineering
500 _aIncludes index
650 0 _aIntelligent agents (Computer software)
650 0 _aIntelligent agents (Computer software)
_xDesign
650 0 _aFormal methods (Computer science)
700 1 _aRouff, Chris,
_d1960-
700 1 _aHinchey, Michael G.
_q(Michael Gerard),
_d1969-
907 _a.b13735275
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA76.76.I58A354
914 _avtls003327819
990 _amaa
991 _aJabatan Sains & Pengurusan Sistem
998 _at
_b2006-10-05
_cm
_da
_feng
_gnyu
_y0
_z.b13735275
999 _c371928
_d371928