A Discipline of Multiprogramming: Programming Theory for Distributed Applications - Brossura

Misra, Jayadev

 
9781461264279: A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Sinossi

The new book addresses the problem of developing distributed applications on wide-area networks, such as the internet and world wide web. Computer scientists, computer engineers, and software engineers will find the book offers an authoritative guide to large- scale multiprogramming concepts for wide-area computing.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

From the reviews:

"Jayadev Misras ‘Discipline of Multiprogramming – Programming Theory for Distributed Applications’ wants to contribute theories and design principles to enhance productivity in specification, abstraction and modularization. ... Most chapters have a large number of examples, contain bibliographic notes and a lot of exercises with solutions. The book concludes with an appendix about elementary logic and algebra, a reference list and an index." (Christoph Meinel, Zentralblatt MATH, Vol. 999, 2002)

Contenuti

1.A discipline of multiprogramming; 2.Action systems; 3.An object-oriented view of action systems; 4.Small examples; 5.Safety properties; 6.Progress properties; 7.Maximality properties; 8.Asynchronous compositions of programs; 9.Conditional, closure properties; 10.Reduction theorem; 11.Distributed implementation; 12.Logic of Seuss programs; 13.Epilog

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387952062: A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Edizione in evidenza

ISBN 10:  0387952063 ISBN 13:  9780387952062
Casa editrice: Springer-Verlag GmbH, 2001
Rilegato