Specification and Verification of Multi-agent Systems

• Κύριος συγγραφέας: Dastani, Mehdi
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hindriks, Koen V, Meyer, John-Jules Charles
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA Springer Science+Business Media, LLC 2010
• Θέματα: Computer science; Software engineering; Electronic data processing; Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Software Engineering; Computing Methodologies; Τεχνητή νοημοσύνη