000 01090cam a2200289 i 4500
001 u63815
003 SIRSI
005 20240619145751.0
008 110131 eng
020 _a1852339470
050 _aQA76.76.I58
_b.A36 2005
245 0 0 _aAgent technology from a formal perspective /
_ceditors, Christopher A. Rouff ... [and others].
264 1 _aLondon :
_bSpringer,
_c2006.
300 _axvi, 354 pages :
_billustrations ;
_c25 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 1 _aNASA monographs in systems and software engineering
596 _a1 3
650 0 _aIntelligent agents (Computer software).
_95812
650 0 _aIntelligent agents (Computer software)
_xDesign.
_9171180
650 0 _aFormal methods (Computer science).
_938711
700 1 _aRouff, Christopher A.
_9171181
907 _a.b10346739
_b07-11-22
_c12-09-18
998 _am
_b06-11-22
_cm
_da
_e-
_feng
_g
_h0
999 _c26043
_d26043