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 point 990 Ft DPD courier 1 190 Ft GLS point 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 GLS courier 1 690 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

Formal Methods for Distributed Processing

Name: Formal Methods for Distributed Processing
Brand: Cambridge University Press
SKU: 02024354
Price: 26147 HUF
Availability: InStock
Author: Howard BowmanJohn Derrick
ISBN: 9780521168755

A Survey of Object-Oriented Approaches

Howard BowmanJohn Derrick

Language

English

Book Paperback

Libristo code: 02024354

Publishers Cambridge University Press, July 2011

Originally published in 2002, this book presents techniques in the application of formal methods to... Full description

Libristo code: 02024354

174 b

26 147 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Библия (бордовая) с гравюрами Г. Доре и Ю. Карольсфельда

Hardback

21 096 Ft

Bekampfung von Steuerhinterziehung Nicolas Ramm

Paperback

10 685 Ft

Mąż mojego brata. Tom 3 Gengoroh Tagame

Paperback

2 782 Ft

Matematyka z plusem ćwiczenia dla klasy 6 geometria wersja A część 2/3 szkoła podstawowa wydanie 2022 Małgorzata Dobrowolska

Paperback

1 834 Ft

schwarze Spinne Jeremias Gotthelf

Paperback

5 364 Ft

franzoesischen Kolonialbanken Otto Soltau

Paperback

13 026 Ft

DBH 4 - OSTADAR - MATEMATIKA GIDA ARRIETA

Paperback

4 028 Ft

Mon corps est-il bien à moi ? Marin

Paperback

4 914 Ft

Handbuch der Orientalischen Teppichkunde Rudolf Neugebauer

Paperback

14 182 Ft

Alles außer Mikado Jürgen Mette

Hardback

3 426 Ft

Fábula de fuentes : tradición y vida literaria en Federico García Lorca Andrés Soria Olmedo

Paperback

11 358 Ft

Evolution Philipp Sarasin

Hardback

7 530 Ft

Die Auswirkungen von Kommunikations- maßnahmen auf die Motivation Ronny Paschke

Paperback

29 033 Ft

Traumnovelle Arthur Schnitzler

Paperback

5 364 Ft

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the 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 fresh 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.