Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Formal Methods for Distributed Processing -

inglise keel
2016-07-20
265,01 € 353,34 €

-25% koodiga BOOKS

Meie tarnija laos

Saadetis 17-23 tööpäeva jooksul

30-päevane tagastamisõigus

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äielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

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.

Lisateave

Kirjastaja Cambridge University Press
Väljalaskeaasta 2016
Kaanetüüp Kõvakaaneline
EAN 9780521771849
Kirjuta oma arvustus
Te vaatate: Formal Methods for Distributed Processing
Teie hinnang:

Goodreads'i arvustused

265,01 € 353,34 €