Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Specification and Verification of Multi-agent Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Specification and Verification of Multi-agent Systems Mehdi Dastani
Код Либристо: 09062369
Издателство Springer-Verlag New York Inc., октомври 2014
Written by leading experts in the field, this volume presents a coherent treatment of the area of fo... Цялото описание
? points 373 b
154.24 €
301.66  лв
Външен склад Изпращаме след 5-8 дни

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

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

Historia Lady i Trampa. Disney Zakochany kundel Opracowanie zbiorowe / Книга С твърди корици
common.buy 4.18 € 8.18 лв
Genealogie delle famiglie patrizie e nobili di Tropea Ercole Massara / Книга С меки корици
common.buy 51.32 € 100.38 лв
Síntesis y actividad antimicrobiana de algunos complejos organoestánnicos (IV) Wajid Rehman / Книга С меки корици
common.buy 37.73 € 73.79 лв
Salvad a la bruja. Libro personalizado Oro Pradera / Книга С меки корици
common.buy 10.59 € 20.71 лв
Amikor eljött a háború Nicola Davies / Книга С твърди корици
common.buy 9.14 € 17.88 лв
IAD - Savoir vivre ses émotions Jean-Yves Arrivé / Книга С меки корици
common.buy 33.95 € 66.41 лв
México y las guerras mundiales: la historia de los esfuerzos de Alemania para involucrar a México en la Primera y Segunda Guerra Mundial Gustavo Vazquez-Lozano / Книга С меки корици
common.buy 11.37 € 22.23 лв
Masapo: Mobundisi Ye Nde Mobebisi Ediho Kengete Ta Koi Lokanga / Книга С меки корици
common.buy 13.12 € 25.67 лв
Helpers MIQUEL RIBAS / Книга С твърди корици
common.buy 14.47 € 28.30 лв
Boas : animales del terrario Glen Drewnowski / Книга С меки корици
common.buy 13.74 € 26.88 лв
Spannungsverhaltnis von Bergwerkseigentum und Oberflacheneigentum im Lichte des Verfassungsrechts Werner Hoppe / Книга С твърди корици
common.buy 20.05 € 39.22 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Specification and Verification of Multi-agent Systems
Автор Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 405
Баркод 9781489990884
ISBN 9781489990884
Код Либристо 09062369
Издателство Springer-Verlag New York Inc.
Тегло 646
Размери 155 x 22 x 235

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

180 Days of Writing for Fourth Grade Kristin Kemp / Книга С меки корици
common.buy 20.46 € 40.02 лв
Proceedings of International Joint Conference on Advances in Computational Intelligence Mohammad Shorif Uddin / Книга С меки корици
common.buy 205.56 € 402.05 лв
Toolkit for Spiritual Growth EVAN ARMATAS / Книга С меки корици
common.buy 10.59 € 20.71 лв
How Clergy Thrive: Insights from Living Ministry Simon Butler / Книга С меки корици
common.buy 12.87 € 25.16 лв
Lincoln and the Politics of Slavery Daniel W. Crofts / Книга С меки корици
common.buy 41.50 € 81.17 лв
Promises Promises TURNER BUCK / Книга С меки корици
common.buy 14.26 € 27.89 лв
Liver - Biology and Pathobiology 6e Irwin M. Arias / Книга С твърди корици
common.buy 384.05 € 751.13 лв
Sinbad and the Argonauts Kevin Candela / Книга С меки корици
common.buy 13.49 € 26.38 лв
The Rider of Golden Bar Remington Schuyler / Книга С меки корици
common.buy 21.24 € 41.54 лв
The Codex Palatino-Vaticanus Bartholomew Maccarthy / Книга С меки корици
common.buy 28.53 € 55.79 лв
CryptoCurrency Profit Formula: Step By Step Guide to Grow Your Wealth with CryptoCurrency Mr Ashok Sharma / Книга С меки корици
common.buy 16.64 € 32.54 лв
Reconstruction Mick Herron / Книга С меки корици
common.buy 15.76 € 30.82 лв
The Oceans in the Nuclear Age David D. Caron / Книга С твърди корици
common.buy 403.38 € 788.94 лв
Tales of the Hare - 27 Classic Folktales of Cambodia Kent Davis / Книга С твърди корици
common.buy 29.72 € 58.12 лв
Man Who Used the Universe Alan Dean Foster / Книга С твърди корици
common.buy 34.47 € 67.42 лв
Lay My Body on the Line Floyd Salas / Книга С меки корици
common.buy 11.31 € 22.13 лв
Haiti and the United States J. Michael Dash / Книга С твърди корици
common.buy 119.55 € 233.82 лв
Logistics Clusters Yossi Sheffi / Книга С меки корици
common.buy 17.16 € 33.55 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?