LEADER 02572nam  2200661 a 450 
001 9911019449103321
005 20200520144314.0
010   $a9781118602638
010   $a1118602633
010   $a9781118602683
010   $a1118602684
010   $a9781118602690
010   $a1118602692
010   $a9781299187719
010   $a1299187714
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(Perlego)1014103
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 /$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 08$a9781848213142 
311 08$a184821314X 
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$01840136
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911019449103321
996   $aModels and analysis in distributed systems$94419640
997   $aUNINA