Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Distributed Abstract State Machine for Grid Services

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

A formal method for studying complex systems

Luciano Manelli

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16220447

Nakladateľstvo Edizioni Accademiche Italiane, november 2016

This book presents and studies a modern formal method for the description and the analysis of the re... Celý popis

Libristo kód: 16220447

71 b

29.46 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Leporelo

6.88 €

Betting on you Stefanie Retterbush

Brožovaná

15.39 €

Astérix de A à Z

Brožovaná

44.86 €

Kodjo Max Annas

Brožovaná

24.10 €

Jedwab i miod: Pocalunek gejszy - opowiadanie erotyczne Chanterelle

MP3

2.42 €

La planète de l'extase Matar

Pevná

27.64 €

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

Brožovaná

18.42 €

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

Brožovaná

127.30 €

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

Pevná

57.42 €

Der Almagest Paul Kunitzsch

Brožovaná

93.37 €

Künster und Schriftstellerlexikon Ludwig Julius Eisenberg

Brožovaná

17.92 €

Von Sprache sprechen II Norbert Scheuer

Brožovaná

14.88 €

Bu Topraklarda Güller Kirmizi Acar Pasam Hasan Basri Bilgin

Brožovaná

22.17 €

Lux perpetua Andrzej Sapkowski

Brožovaná

31.49 €

1 Audio-CD zum Kursbuch Dominik Auer

Audio CD

19.64 €

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.