Specification and Verification of Multi-agent Systems - Mehdi Dastani - Kirjat - Springer-Verlag New York Inc. - 9781441969835 - perjantai 6. elokuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Mehdi Dastani
Specification and Verification of Multi-agent Systems 2010 edition

Hinta
₪ 662,20

Tilattu etävarastosta

Arvioitu toimitus pe 19. joulu - to 1. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

405 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 6. elokuuta 2010
ISBN13 9781441969835
Tuottaja Springer-Verlag New York Inc.
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 405
Mitta 165 × 233 × 31 mm   ·   766 g
Toimittaja Dastani, Mehdi
Toimittaja Hindriks, Koen V.
Toimittaja Meyer, John-Jules
Näytä kaikki

Lisää tuotteita Mehdi Dastani

Katso kaikki joka sisältää Mehdi Dastani ( Esim. Paperback Book Ja Hardcover Book )