Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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 paketomatih Pošte Slovenije.

Distributed Abstract State Machine for Grid Services

Name: Distributed Abstract State Machine for Grid Services
Brand: Edizioni Accademiche Italiane
SKU: 16220447
Price: 27.73 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.73 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Kartonka

7.89 €

Betting on you Stefanie Retterbush

Mehka

14.47 €

Astérix de A à Z

Mehka

40.89 €

Kodjo Max Annas

Mehka

21.96 €

Jedwab i miod: Pocalunek gejszy - opowiadanie erotyczne Chanterelle

MP3

2.12 €

La planète de l'extase Matar

Trda

25.20 €

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

Mehka

21.96 €

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

Mehka

116.01 €

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

Trda

61.24 €

Der Almagest Paul Kunitzsch

Mehka

88.17 €

Künster und Schriftstellerlexikon Ludwig Julius Eisenberg

Mehka

16.09 €

Von Sprache sprechen II Norbert Scheuer

Mehka

13.25 €

Bu Topraklarda Güller Kirmizi Acar Pasam Hasan Basri Bilgin

Mehka

20.95 €

Lux perpetua Andrzej Sapkowski

Mehka

28.84 €

1 Audio-CD zum Kursbuch Dominik Auer

Zvočni CD

17.40 €

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.