Specification and Verification of Multi-agent Systems - Mehdi Dastani - Böcker - Springer-Verlag New York Inc. - 9781441969835 - 6 augusti 2010
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.819

Beställningsvara

Förväntad leverans 13 - 22 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 6 augusti 2010
ISBN13 9781441969835
Utgivare Springer-Verlag New York Inc.
Genre Aspects (Academic) > Science / Technology Aspects
Antal sidor 405
Mått 165 × 233 × 31 mm   ·   766 g
Redaktör Dastani, Mehdi
Redaktör Hindriks, Koen V.
Redaktör Meyer, John-Jules

Fler produkter med Mehdi Dastani

Visa alla

Se alt med Mehdi Dastani ( t.ex. Pocketbok och Inbunden Bok )