Catalog

Record Details

Catalog Search


Specification and Verification of Multi-agent Systems Cover Image E-book E-book

Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.

Dastani, Mehdi. (editor.). Hindriks, Koen V. (editor.). Meyer, John-Jules Charles. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781441969842
  • Physical Description: XVII, 405p. 100 illus. online resource.
  • Publisher: Boston, MA : Springer US, 2010.

Search for related items by subject

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.

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01727nam a22004575i 4500
00116098
003CONS
00520131218215239.0
007cr nn 008mamaa
008100721s2010 xxu| s |||| 0|eng d
020 . ‡a9781441969842 ‡9978-1-4419-6984-2
0247 . ‡a10.1007/978-1-4419-6984-2 ‡2doi
035 . ‡a(DE-He213)978-1-4419-6984-2
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aUL ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aDastani, Mehdi. ‡eeditor.
24510. ‡aSpecification and Verification of Multi-agent Systems ‡h[electronic resource] / ‡cedited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
264 1. ‡aBoston, MA : ‡bSpringer US, ‡c2010.
300 . ‡aXVII, 405p. 100 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aElectronic data processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSoftware Engineering.
65024. ‡aComputing Methodologies.
7001 . ‡aHindriks, Koen V. ‡eeditor.
7001 . ‡aMeyer, John-Jules Charles. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781441969835
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4419-6984-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a16098 ‡b ‡c16098 ‡tbiblio ‡sSystem Local

Additional Resources