
Formal Methods for Distributed Processing
1 828 kr
1 828 kr
Tidigare lägsta pris:
1 900 kr
Ons, 16 apr - tor, 24 apr
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Produktbeskrivning
This book presents the current state of the art in the application of formal methods to object based distributed systems. A major theme of the book is how to formally handle the new requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining new notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
Artikel.nr.
f843c1f0-65b7-51ed-86ac-09ce27e07c34
Formal Methods for Distributed Processing
1 828 kr
1 828 kr
Tidigare lägsta pris:
1 900 kr
Ons, 16 apr - tor, 24 apr
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Liknande toppsäljare

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
127 kr

12-pack Oral-B Kompatibla Tandborsthuvuden
79 kr
Tidigare lägsta pris:
89 kr

Samsung Galaxy Tab A9+ Wifi 64GB Svart
2 070 kr
Tidigare lägsta pris:
2 168 kr

iPhone kompatibel Plug & Play hörlurar iPhone X/11/12/13/14
99 kr
Tidigare lägsta pris:
119 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
795 kr
Tidigare lägsta pris:
849 kr

LIECTROUX elektrisk fönsterputsrobot HCR-10 med 30 ml vattentank
1 112 kr
Tidigare lägsta pris:
1 212 kr

Playstation 5 DualSense Controller Midnight Black
799 kr

4-Pack - Volkswagen VW Centrumkåpor / Hjulnav Emblem - Bil 65 mm
119 kr

Sparkcykel med Lysande Däck / Enhörning - Scooter för Barn
399 kr

Hundklippare för Hundtassar – Tyst och Effektiv Tasstrimmer med LED-lampa
169 kr
Rekommendationer för dig

Astronaut Nattlampa / Galaxylampa - Stjärnhimmelsprojektor
279 kr
Tidigare lägsta pris:
329 kr

45W till Macbook Air ersättningsladdare Magsafe 2
199 kr
Tidigare lägsta pris:
249 kr

Laddare för kärcher Fönstertvätt
99 kr

Öronkuddar för Bose QuietComfort - QC35/QC25/QC15/AE2 Hörlurar SVART
95 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr
Tidigare lägsta pris:
89 kr

Hopfällbar Trädgårdspall / Knäpall - Pall
349 kr
Tidigare lägsta pris:
399 kr

Apple AirPods (andra generation) med Lightning-laddningsetui
1 594 kr

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml
139 kr

Laddare för iPhone 15 / iPhone 16 + 2M kabel Snabbladdare USB-C till USB-C
99 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter elsparkcykel
249 kr