عنوان
پدید آورنده
موضوع
رده
QA76.6 J393 2012
QA76
.
6
J393
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
144198528X
(Number (ISBN
9781441985286
NATIONAL BIBLIOGRAPHY NUMBER
Number
b544919
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Discipline of multiprogramming :
General Material Designation
[Book]
Other Title Information
programming theory for distributed applications.
First Statement of Responsibility
Jayadev Misra
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
[Place of publication not identified]
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2012
CONTENTS NOTE
Text of Note
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
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
J393
2012
PERSONAL NAME - PRIMARY RESPONSIBILITY
Jayadev Misra
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jayadev Misra
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
