Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Английски език
457 b
30 дни за връщане на стоката
Клиентите са закупили също
/
С меки корици
27.08
€
52.96 лв
/
С меки корици
15.53
€
30.37 лв
/
С меки корици
29.20
€
57.11 лв
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.
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
21.28
€
41.62 лв
/
С меки корици
31.12
€
60.86 лв
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?