عنوان
پدید آورنده
موضوع
رده
QA 76.76 .I58A36 2005
QA
76
.
76
.
I58A36
2005
کتابخانه
محل استقرار
1-85233947-0
IR
45594
انگلیسی
IR
Agent technology from a formal perspective
[Book]
/ Christopher A. Rouff with Michael Hinchey
New York ; London
: Springer
, 2005
xvi, 354 p.
:ill.
; 25 cm
NASA monographs in systems and software engineering
English
Includes index
Intelligent agents (Computer software)
Intelligent agents (Computer software) -- Design
Formal methods (computer science)
QA
76
.
76
.
I58A36
2005
Hinchey, Michael G
Rouff, Chris
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
