Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Distributed Abstract State Machine for Grid Services

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

A formal method for studying complex systems

Luciano Manelli

Language

English

Book Paperback

Libristo code: 16220447

Publishers Edizioni Accademiche Italiane, November 2016

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

Libristo code: 16220447

78 b

11 352 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

1 Audio-CD zum Kursbuch Dominik Auer

Audio CD

6 899 Ft

Jedwab i miod: Pocalunek gejszy - opowiadanie erotyczne Chanterelle

MP3

845 Ft

La planète de l'extase Matar

Hardback

9 708 Ft

Betting on you Stefanie Retterbush

Paperback

5 926 Ft

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

Board book

3 131 Ft

Astérix de A à Z

Paperback

15 777 Ft

Kodjo Max Annas

Paperback

8 487 Ft

Der Almagest Paul Kunitzsch

Paperback

35 763 Ft

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

Paperback

8 777 Ft

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

Paperback

10 801 Ft

Lux perpetua Andrzej Sapkowski

Paperback

11 090 Ft

Bu Topraklarda Güller Kirmizi Acar Pasam Hasan Basri Bilgin

Paperback

8 441 Ft

Von Sprache sprechen II Norbert Scheuer

Paperback

5 270 Ft

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

Hardback

23 874 Ft

Problemy demograficheskogo stareniya severnyh regionov Rossii Larisa Popova

Paperback

16 727 Ft

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

Paperback

44 787 Ft

Künster und Schriftstellerlexikon Ludwig Julius Eisenberg

Paperback

6 316 Ft

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.