Specification and Verification of Multi-agent Systems - Mehdi Dastani - Knjige - Springer-Verlag New York Inc. - 9781489990884 - 20. oktobra 2014
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 6. - 14. okt
Prejemajte obvestila o novih izdajah izvajalca Mehdi Dastani

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 20. oktobra 2014
ISBN13 9781489990884
Založniki Springer-Verlag New York Inc.
Strani 405
Dimenzije 155 × 235 × 22 mm   ·   639 g
Jezik Angleščina  
Urednik Dastani, Mehdi
Urednik Hindriks, Koen V.
Urednik Meyer, John-Jules

Več od Mehdi Dastani

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Mehdi Dastani