Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods for Distributed Processing

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

A Survey of Object-Oriented Approaches

Howard BowmanJohn Derrick

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02024354

Nakladatelství Cambridge University Press, červenec 2011

Originally published in 2002, this book presents techniques in the application of formal methods to... Celý popis

Libristo kód: 02024354

155 b

1 545 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Handbuch der Orientalischen Teppichkunde Rudolf Neugebauer

Brožovaná

813 Kč

Mąż mojego brata. Tom 3 Gengoroh Tagame

Brožovaná

185 Kč

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

Pevná

1 404 Kč

Evolution Philipp Sarasin

Pevná

435 Kč

DBH 4 - OSTADAR - MATEMATIKA GIDA ARRIETA

Brožovaná

270 Kč

Mon corps est-il bien à moi ? Marin

Brožovaná

331 Kč

Bekampfung von Steuerhinterziehung Nicolas Ramm

Brožovaná

612 Kč

franzoesischen Kolonialbanken Otto Soltau

Brožovaná

869 Kč

Alles außer Mikado Jürgen Mette

Pevná

249 Kč

schwarze Spinne Jeremias Gotthelf

Brožovaná

308 Kč

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

Brožovaná

759 Kč

Traumnovelle Arthur Schnitzler

Brožovaná

308 Kč

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.