Specification and Verification of Multi-agent Systems - Mehdi Dastani - Kirjat - Springer-Verlag New York Inc. - 9781489990884 - maanantai 20. lokakuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
NZ$ 305,80

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. joulu
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     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 20. lokakuuta 2014
ISBN13 9781489990884
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 405
Mitta 155 × 235 × 22 mm   ·   639 g
Kieli Englanti  
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 )