Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Distributed Abstract State Machine for Grid Services

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

A formal method for studying complex systems

Luciano Manelli

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 16220447

Založba Edizioni Accademiche Italiane, november 2016

This book presents and studies a modern formal method for the description and the analysis of the re... Celoten opis

Koda Libristo: 16220447

67 b

27.71 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Problemy demograficheskogo stareniya severnyh regionov Rossii Larisa Popova

Mehka

40.87 €

Astérix de A à Z

Mehka

40.66 €

Kodjo Max Annas

Mehka

21.84 €

La planète de l'extase Matar

Trda

24.98 €

Алхимик Пауло Коэльо

Trda

17.80 €

Rumowiska Szostak Wit

Trda

15.67 €

Betting on you Stefanie Retterbush

Mehka

15.87 €

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

Kartonka

8.59 €

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

Mehka

21.95 €

BABADADA, Hausa - Azərbaycan dili, kamus mai hoto - şəkilli luğət Babadada Gmbh

Mehka

26.90 €

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

Trda

57.36 €

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

Mehka

115.84 €

Der Almagest Paul Kunitzsch

Mehka

88.12 €

Künster und Schriftstellerlexikon Ludwig Julius Eisenberg

Mehka

16.08 €

Von Sprache sprechen II Norbert Scheuer

Mehka

13.24 €

Bu Topraklarda Güller Kirmizi Acar Pasam Hasan Basri Bilgin

Mehka

20.93 €

Lux perpetua Andrzej Sapkowski

Mehka

28.62 €

Una stanza piena di sogni Ruta Sepetys

Mehka

10.41 €

1 Audio-CD zum Kursbuch Dominik Auer

Zvočni CD

17.39 €

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.