Catalog

Record Details

Catalog Search


Search Results Showing Item 121 of 732

Specification and Verification of Multi-agent Systems

Electronic resources

Record details

  • ISBN: 9781441969842
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVII, 405p. 100 illus. online resource.
  • Publisher: Boston, MA : Springer US, 2010.
Subject: Computer science
Software engineering
Electronic data processing
Artificial intelligence
Computer Science
Software Engineering/Programming and Operating Systems
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Software Engineering
Computing Methodologies
Search Results Showing Item 121 of 732

Additional Resources