HOME > Detail View

Detail View

Object orientation with parallelism and persistence

Object orientation with parallelism and persistence

Material type
단행본
Personal Author
Freitag, Burkhard, 1953-.
Title Statement
Object orientation with parallelism and persistence / edited by Burkhard Freitag ... [et al.].
Publication, Distribution, etc
Boston :   Kluwer Academic Publishers,   c1996.  
Physical Medium
xiv, 233 p. : ill. ; 24 cm.
Series Statement
The Kluwer international series in engineering and computer science ;SECS 370.
ISBN
0792397703 (acid-free paper)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Object-oriented programming (Computer science). Parallel processing (Electronic computers). Database management.
000 00941camuuu200253 a 4500
001 000000923943
005 19990121111246.0
008 960703s1996 maua b 001 0 eng
010 ▼a 96031699
020 ▼a 0792397703 (acid-free paper)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 244002
049 0 ▼l 151046136
050 0 0 ▼a QA76.64 ▼b .O2413 1996
082 0 0 ▼a 005.2 ▼2 20
090 ▼a 005.2 ▼b O12
245 0 0 ▼a Object orientation with parallelism and persistence / ▼c edited by Burkhard Freitag ... [et al.].
260 ▼a Boston : ▼b Kluwer Academic Publishers, ▼c c1996.
300 ▼a xiv, 233 p. : ▼b ill. ; ▼c 24 cm.
440 4 ▼a The Kluwer international series in engineering and computer science ; ▼v SECS 370.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Object-oriented programming (Computer science).
650 0 ▼a Parallel processing (Electronic computers).
650 0 ▼a Database management.
700 1 ▼a Freitag, Burkhard, ▼d 1953-.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.2 O12 Accession No. 151046136 Availability Available Due Date Make a Reservation Service C

Contents information

Table of Contents

Preface. 1. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics; S.J. Hodges, C.B. Jones. 2. Correct Transformational Design of Concurrent Search Structures; U. Nestmann, M. Steffen. 3. Modal-mu-Maude: Specification and Properties of Concurrent Objects; U. Lechner, C. Lengauer. 4. An Object Model for Distributed and Concurrent Programming Based on Decomposition; M. Radestock, S. Eisenbach. 5. Objects and Classes, Co-Algebraically; B. Jacobs. 6. Semantic Refinement of Concurrent Object Systems Based on Serializability; G. Denker. 7. Unified Theory for Classical and Advanced Transaction Models; H. Hasse, H.-J. Schek. 8. Coordination as Negotiated Transactions; J.-M. Andreoli. 9. Role-Based Persistence; J. Schlegelmilch. 10. Design and Implementation of Process-Oriented Environments with Brokers and Services; D. Tombros, et al. 11. There's Nothing Like Shared Nothing; P. Thanisch, M.G. Norman.


Information Provided By: : Aladin

New Arrivals Books in Related Fields