Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Distributed Abstract State Machine for Grid Services

Name: Distributed Abstract State Machine for Grid Services
Brand: Edizioni Accademiche Italiane
SKU: 16220447
Price: 31.22 EUR
Availability: InStock
Author: Luciano Manelli
ISBN: 9783330781771

A formal method for studying complex systems

Luciano Manelli

Език

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

Книга С меки корици

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

Издателство Edizioni Accademiche Italiane, ноември 2016

This book presents and studies a modern formal method for the description and the analysis of the re... Цялото описание

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

75 b

31.22 €

61.06 лв

Външен склад Изпращаме след 5-8 дни

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

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

Zvědavost odkrývá tajemství Vesmír

Дипляна

9.42 € 18.42 лв

Betting on you Stefanie Retterbush

С меки корици

16.31 € 31.89 лв

Astérix de A à Z

С меки корици

46.86 € 91.65 лв

Kodjo Max Annas

С меки корици

25.16 € 49.21 лв

Jedwab i miod: Pocalunek gejszy - opowiadanie erotyczne Chanterelle

MP3

2.53 € 4.95 лв

La planète de l'extase Matar

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

28.79 € 56.30 лв

Etudes Geographiques Sur La Vallee D'Andorre (1875) Jean-Francois Blade

С меки корици

19.26 € 37.67 лв

Manual de actuaciones frente a la ejecución hipotecaria inminente Izquierdo Blanco

С меки корици

132.98 € 260.09 лв

Memento důlních nehod v českém hornictví Roman Makarius

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

71.15 € 139.15 лв

Der Almagest Paul Kunitzsch

С меки корици

98.54 € 192.73 лв

Künster und Schriftstellerlexikon Ludwig Julius Eisenberg

С меки корици

18.90 € 36.96 лв

Von Sprache sprechen II Norbert Scheuer

С меки корици

15.74 € 30.78 лв

Bu Topraklarda Güller Kirmizi Acar Pasam Hasan Basri Bilgin

С меки корици

23.30 € 45.57 лв

Lux perpetua Andrzej Sapkowski

С меки корици

32.83 € 64.20 лв

1 Audio-CD zum Kursbuch Dominik Auer

Аудио компактдиск

20.71 € 40.50 лв

This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed.