عنوان
پدید آورنده
موضوع
رده
QA 76.76 .I58 A36 2005
QA
76
.
76
.
I58
A36
2005
کتابخانه
محل استقرار
electronic
Agent technology from a formal perspective
New York ; London
Springer
2005
xvi, 354 p. : ill. ; 25 cm
NASA monographs in systems and software engineering
Includes index
edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
1852339470 )hbk.(
، Intelligent agents )Computer software(
Design ، Intelligent agents )Computer software(
، Formal methods )Computer science(
QA
76
.
76
.
I58
A36
2005
TI
AU Rouff, Chris 1960-
AU Hinchey, Michael G.)Michael Gerard( 1969-
SE
