Written in response to the lack of attention paid to software engineering techniques that support the process of prototypical development on multimedia systems, the authors of this text have provided a comprehensive investigation of the application of formal techniques to this area of systems development. Particular attention is paid to the new formal specification approach, which is directly targeted at the real- time requirements of distributed multimedia computing. Through the evaluation and introduction of this approach, the authors have produced a text for researchers, practitioners and advanced students in the field of distributed systems, telecommunications and formal methods.
"synopsis" may belong to another edition of this title.
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Paperback. Condition: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. Seller Inventory # M1857286774Z3