Specification and Verification of Multi-agent Systems

Lingua: inglese

Editore: Springer US, Springer New York Okt 2014, 2014

1489990887 / 9781489990884

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

Venditore con 5 stelle

Venditore AbeBooks dal 11 gennaio 2012

Brossura

Condizione: Nuovo

EUR 160,49

EUR 23,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - it takes 3-4 days longer - Neuware -Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner. 424 pp. Englisch.…

Codice articolo 9781489990884

Titolo
Specification and Verification of Multi-agent Systems
Autore
Mehdi Dastani
Editore
Springer US, Springer New York Okt 2014
Anno di pubblicazione
2014
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
1489990887
ISBN 13
9781489990884
Peso dell'articolo
639 grammi
Dimensioni
235x155x23 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 11 gennaio 2012

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 5 a 15 giorni lavorativiDa 5 a 15 giorni lavorativi
Primo articoloEUR 23,00EUR 23,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • PayPal

Informazioni sull’azienda del venditore

BuchWeltWeit Ludwig Meier e.K.

Germania