Specification and Verification of Multi-agent Systems - Mehdi Dastani - Knjige - Springer-Verlag New York Inc. - 9781441969835 - 6. avgusta 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 170,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 23. 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     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 6. avgusta 2010
ISBN13 9781441969835
Založniki Springer-Verlag New York Inc.
Žanr Aspects (Academic) > Science / Technology Aspects
Strani 405
Dimenzije 165 × 233 × 31 mm   ·   766 g
Jezik Angleščina  
Urednik Dastani, Mehdi
Urednik Hindriks, Koen V.
Urednik Meyer, John-Jules

Več od istega **izdajatelja**

Ogled vseh Mehdi Dastani