Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Specification and Verification of Multi-agent Systems

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

Mehdi Dastani

Koen V. Hindriks

John-Jules Ch. Meyer

Език

Английски език

Книга С твърди корици

Код Либристо: 01424106

Издателство Springer-Verlag New York Inc., юли 2010

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of f... Цялото описание

Код Либристо: 01424106

444 b

183.41 €

358.72 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

The Best of: 2013

С меки корици

11.42 € 22.34 лв

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

С твърди корици

26.52 € 51.87 лв

Beštia Dominik Dán

С твърди корици

19.02 € 37.21 лв

Moje prvé samolepky Veľký malý

С меки корици

2.43 € 4.74 лв

reset ormonale. Dal ciclo alla menopausa senza stress Serena Missori

С меки корици

23.42 € 45.81 лв

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

С меки корици

38.11 € 74.53 лв

Aristotel je mučio pčele Nikola Petković

С меки корици

12.61 € 24.67 лв

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

С меки корици

72.08 € 140.98 лв

Příležitost Martin Dosoudil

Лист

11.42 € 22.34 лв

Czarne serce Avallone Silvia

binding.

13.39 € 26.18 лв

Třináct 13 Lauren Myracle

С твърди корици

12.30 € 24.06 лв

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

С меки корици

26.11 € 51.06 лв

Die Mathearbeit Theo Scherling

С меки корици

11.99 € 23.45 лв

Ani Defteri Ciltli Kolektif

С меки корици

20.11 € 39.33 лв

Le emozioni siamo noi. Libro pop-up Clotilde Perrin

С твърди корици

32.57 € 63.71 лв

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

С твърди корици

77.51 € 151.59 лв

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

С меки корици

29.16 € 57.03 лв

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

С меки корици

144.27 € 282.16 лв

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

С меки корици

122.24 € 239.08 лв

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

С меки корици

16.96 € 33.16 лв

Informationsfreiheitsgesetz (IFG), Handkommentar Matthias Rossi

С твърди корици

76.79 € 150.18 лв

Kakaová bábovka Igor Adamec

С твърди корици

4.49 € 8.79 лв

Von der Republik zur Republik Uwe Haupenthal

С меки корици

15.71 € 30.74 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Specification and Verification of Multi-agent Systems

Автор Mehdi Dastani, Koen V. Hindriks, John-Jules Ch. Meyer

Език

Английски език

Корици Книга - С твърди корици

Дата на издаване 2010

Брой страници 405

Баркод 9781441969835

ISBN 1441969837

Код Либристо 01424106

Издателство Springer-Verlag New York Inc.

Тегло 762

Размери 165 x 233 x 31

Може би ще Ви заинтересува

My Name is Cletus Trane John Kerslake

С меки корици

9.41 € 18.40 лв

TLC for Teenagers & their Parents Yvonne Kamerling

С меки корици

10.60 € 20.72 лв

Sicilians Don't Cry Leonardo Guzzardo

С твърди корици

18.15 € 35.49 лв

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

С меки корици

25.85 € 50.56 лв