Agent technology from a formal perspective /

Agent technology from a formal perspective / edited by Christopher A. Rouff with Michael Hinchey ... [et al.] - New York : Springer, 2005 - xvi, 354 p. : ill. ; 25 cm. - NASA monographs in systems and software engineering .

Includes index

1852339470 (hbk.) RM363.97


Intelligent agents (Computer software)
Intelligent agents (Computer software)--Design
Formal methods (Computer science)

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library