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 |