Specification and Verification of Multi-agent Systems - Mehdi Dastani - Grāmatas - Springer-Verlag New York Inc. - 9781441969835 - 2010. gada 6. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 181,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Mehdi Dastani izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2010. gada 6. augusts
ISBN13 9781441969835
Izdevēji Springer-Verlag New York Inc.
Žanrs Aspects (Academic) > Science / Technology Aspects
Lapas 405
Izmēri 165 × 233 × 31 mm   ·   766 g
Valoda Angļu  
Redaktors Dastani, Mehdi
Redaktors Hindriks, Koen V.
Redaktors Meyer, John-Jules

Vairāk no tā paša izdevēja

Skatīt visus Mehdi Dastani ( piem., Paperback Book un Hardcover Book )