| Record ID | marc_nuls/NULS_PHC_180925.mrc:184679498:2758 |
| Source | marc_nuls |
| Download Link | /show-records/marc_nuls/NULS_PHC_180925.mrc:184679498:2758?format=raw |
LEADER: 02758pam 22003614a 4500
001 9922729260001661
005 20150423145039.0
008 010228s2001 enka b 001 0 eng
010 $a 2001025501
015 $aGBA2-05067
020 $a0521771846
029 1 $aUKM$bbA205067
035 $a(CSdNU)u103236-01national_inst
035 $a(OCoLC)46364767
035 $a(Sirsi) 01-AAM-8668
040 $aDLC$cDLC$dUKM$dOrPss
042 $apcc
049 $aCNUM
050 00 $aQA76.9.D5$bF662 2001
245 00 $aFormal methods for distributed processing :$ba survey of object-oriented approaches /$cedited by Howard Bowman, John Derrick.
260 $aCambridge, UK ;$aNew York :$bCambridge University Press,$c2001.
300 $ax, 480 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references and index.
505 0 $aObject-Oriented Distributed Systems -- Issues in Distributed Systems / P. F. Linington -- Distributed Systems, An ODP Perspective / P. F. Linington -- Issues in Formal Methods / H. Bowman, J. Derrick -- Specification Notations -- Finite State Machine Based: SDL / R. O. Sinnott, D. Hogrefe -- Process Calculi: E-LOTOS / T. Robles, G. Huecas, J. Quemada, A. Verdejo, L. F. Llana-Diaz -- State-Based Approaches: From Z to Object-Z / G. Smith -- The Unified Modeling Language / S. Kent -- Dynamic Reconfiguration -- Actors: A Model for Reasoning About Open Distributed Systems / G. A. Agha, P. Thati, R. Ziaei -- [pi]-Calculi / P. Sewell -- Mobile Ambients / L. Cardelli, A. D. Gordon -- Subtyping -- Subtyping in Distributed Systems / J. Indulska -- Behavioural Subtyping Using Invariants and Constraints / B. H. Liskov, J. M. Wing -- Behavioural Typing for Objects and Process Calculi / E. Najm, A. Nimour, J-B. Stefani -- Concurrent OO Languages -- Reflection in Concurrent Object-Oriented Languages / H. Masuhara, A. Yonezawa -- Inheritance in Concurrent Objects / C. Laneve -- Nonfunctional Requirements -- Multimedia in the E-LOTOS Process Algebra / G. Leduc -- Specifying and Analysing Multimedia Systems / L. Blair, G. Blair -- Development Architectures -- Piccola--A Small Composition Language / F. Achermann, M. Lumpe, J.-G. Schneider, O. Nierstrasz -- Specification Architectures / K. J. Turner, R. O. Sinnott -- Viewpoints Modelling / H. Bowman, J. Derrick.
650 0 $aElectronic data processing$xDistributed processing.
650 0 $aObject-oriented programming (Computer science)
700 1 $aBowman, Howard,$d1966-
700 1 $aDerrick, John,$d1963-
948 $a04/08/2002$b05/23/2002
982 $aQA76.9.D5$aF662$a2001
983 $a31786101613005
994 $a92$bCNU
999 $aQA76.9.D5 F662 2001$wLC$c1$i31786101613005$d6/15/2004$f6/15/2004$g1 $lCIRCSTACKS$mNULS$rY$sY$tBOOK$u5/23/2002