Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Methods for Distributed Processing

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

A Survey of Object-Oriented Approaches

Howard BowmanJohn Derrick

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02024354

Založba Cambridge University Press, julij 2011

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

Koda Libristo: 02024354

155 b

63.51 €

Na zalogi pri dobavitelju Odposlali bomo v 10-16 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Mon corps est-il bien à moi ? Marin

Mehka

11.35 €

Traumnovelle Arthur Schnitzler

Mehka

12.55 €

Mąż mojego brata. Tom 3 Gengoroh Tagame

Mehka

6.72 €

Bekampfung von Steuerhinterziehung Nicolas Ramm

Mehka

25.12 €

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

Trda

51.15 €

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

Mehka

4.71 €

franzoesischen Kolonialbanken Otto Soltau

Mehka

31.75 €

DBH 4 - OSTADAR - MATEMATIKA GIDA ARRIETA

Mehka

10.04 €

Handbuch der Orientalischen Teppichkunde Rudolf Neugebauer

Mehka

33.36 €

Alles außer Mikado Jürgen Mette

Trda

7.93 €

schwarze Spinne Jeremias Gotthelf

Mehka

12.55 €

Evolution Philipp Sarasin

Trda

17.78 €

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

Mehka

70.95 €

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

Mehka

28.23 €

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.