Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Formal Methods for Distributed Processing -

englanti
2016-07-20
265,01 € 353,34 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also de ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Lisätietoja

Julkaisija Cambridge University Press
Julkaisuvuosi 2016
Kannen tyyppi Kovakantinen
EAN 9780521771849
Kirjoita oma arvostelusi
Arvostelet: Formal Methods for Distributed Processing
Arvostelusi:

Goodreads-arvostelut

265,01 € 353,34 €