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 Post 1 795 Ft Post 1 690 Ft 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

Formal Methods for Distributed Processing

Name: Formal Methods for Distributed Processing
Brand: Cambridge University Press
SKU: 02024354
Price: 25503 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

25 503 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Handbuch der Orientalischen Teppichkunde Rudolf Neugebauer

Paperback

13 833 Ft

Mąż mojego brata. Tom 3 Gengoroh Tagame

Paperback

2 713 Ft

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

Hardback

20 577 Ft

Evolution Philipp Sarasin

Hardback

7 344 Ft

DBH 4 - OSTADAR - MATEMATIKA GIDA ARRIETA

Paperback

3 956 Ft

Mon corps est-il bien à moi ? Marin

Paperback

4 853 Ft

Bekampfung von Steuerhinterziehung Nicolas Ramm

Paperback

10 422 Ft

franzoesischen Kolonialbanken Otto Soltau

Paperback

12 719 Ft

Alles außer Mikado Jürgen Mette

Hardback

3 651 Ft

schwarze Spinne Jeremias Gotthelf

Paperback

5 232 Ft

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

Paperback

11 125 Ft

Traumnovelle Arthur Schnitzler

Paperback

5 232 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.