Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Specification and Verification of Multi-agent Systems

Name: Specification and Verification of Multi-agent Systems
Brand: Springer-Verlag New York Inc.
SKU: 01424106
Price: 150.19 EUR
Availability: InStock
Author: Mehdi Dastani
ISBN: 9781441969835

Mehdi Dastani

Koen V. Hindriks

John-Jules Ch. Meyer

Lingua

Inglese

Libro Rigido

Codice Libristo: 01424106

Casa editrice Springer-Verlag New York Inc., luglio 2010

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of f... Descrizione completa

Codice Libristo: 01424106

368 b

150.19 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

The Best of: 2013

In brossura

9.69 €

Beštia Dominik Dán

Rigido

15.99 €

Cuscini e canguri e altre storie. Fox + Chick Sergio Ruzzier

Rigido

22.09 €

Trötsch Der kleine Maulwurf Geschirrset Motorrad Porzellan Trötsch Verlag

Giocattolo

25.29 €

Moje prvé samolepky Veľký malý

In brossura

1.99 €

reset ormonale. Dal ciclo alla menopausa senza stress Serena Missori

In brossura

18.91 €

Maîtriser les techniques de l'immobilier, 5° édition actualisée Fondacci Guillarmé

In brossura

29.79 €

Aristotel je mučio pčele Nikola Petković

In brossura

12.49 €

Designing Games Meant for Sharing Ioana-Iulia (Lead Game Designer at Mojiworks Limited) Cazacu

In brossura

64.49 €

Příležitost Martin Dosoudil

Foglio

9.69 €

Czarne serce Avallone Silvia

binding.

9.59 €

Třináct 13 Lauren Myracle

Rigido

8.39 €

Qui suis-je ? – Enseignements de Sri Ramakant Maharaj par une de ses disciples Shaw

In brossura

20.49 €

Die Mathearbeit Theo Scherling

In brossura

9.39 €

Ani Defteri Ciltli Kolektif

In brossura

16.99 €

Le emozioni siamo noi. Libro pop-up Clotilde Perrin

Rigido

26.60 €

Über das Gewissen und den praktischen Intellekt Albert der Große

Rigido

61.99 €

Le Tour d'Asie. Cochinchine, Annam, Tonkin MONNIER-M

In brossura

24.79 €

de la Mole Vesiculaire de l'Uterus PITISTIANO-S

In brossura

12.29 €

Modelle für eine Förderung der inländischen Nachwuchssportler zur Stärkung der Nationalmannschaften. Ruben Conzelmann

In brossura

115.69 €

Die Beteiligung Privater an rechtsfähigen Anstalten des öffentlichen Rechts. Anna L. Lange

In brossura

97.99 €

Bu Gece En Hüzünlü Siirleri Yazabilirim Hilmi Yavuz

In brossura

14.29 €

Informationsfreiheitsgesetz (IFG), Handkommentar Matthias Rossi

Rigido

61.69 €

Kakaová bábovka Igor Adamec

Rigido

3.69 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Specification and Verification of Multi-agent Systems

Autore Mehdi Dastani, Koen V. Hindriks, John-Jules Ch. Meyer

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 2010

Numero di pagine 405

EAN 9781441969835

ISBN 1441969837

Codice Libristo 01424106

Casa editrice Springer-Verlag New York Inc.

Peso 762

Dimensioni 165 x 233 x 31

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Tecniche di programmazione

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Tales of a Stone Mason: A Book of Poetry MR Ryan Fredric Steinbeck

In brossura

7.89 €

TLC for Teenagers & their Parents Yvonne Kamerling

In brossura

8.49 €

Sicilians Don't Cry Leonardo Guzzardo

Rigido

14.79 €

Poetical Works of William Lisle Bowles ... with Memoir, Critical Dissertation, and Explanatory Notes, by the REV. George Gilfillan. William Lisle Bowles

In brossura

20.79 €