LEADER 02429nam  2200589 a 450 
001 9910138864203321
005 20170815103302.0
010   $a1-118-60263-3
010   $a1-118-60268-4
010   $a1-118-60269-2
010   $a1-299-18771-4
035   $a(CKB)2550000001005904
035   $a(EBL)1124671
035   $a(OCoLC)828298915
035   $a(SSID)ssj0000831960
035   $a(PQKBManifestationID)11521862
035   $a(PQKBTitleCode)TC0000831960
035   $a(PQKBWorkID)10881464
035   $a(PQKB)11462504
035   $a(OCoLC)828423700
035   $a(MiAaPQ)EBC1124671
035   $a(PPN)185060641
035   $a(EXLCZ)992550000001005904
100   $a20110502d2011      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aModels and analysis in distributed systems$b[electronic resource] /$fedited by Serge Haddad ... [et al.]
210   $aLondon $cISTE ;$aHoboken, N.J. $cWiley$d2011
215   $a1 online resource (358 p.)
225 1 $aISTE
300   $aDescription based upon print version of record.
311   $a1-84821-314-X 
320   $aIncludes bibliographical references and index.
327   $apt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems.
330   $aNowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of pro
410  0$aISTE
606   $aDistributed parameter systems$xSimulation methods
606   $aSystem analysis
615  0$aDistributed parameter systems$xSimulation methods.
615  0$aSystem analysis.
676   $a003.78
701   $aHaddad$b Serge$0863196
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910138864203321
996   $aModels and analysis in distributed systems$92163466
997   $aUNINA