LEADER 00714nam0-22002771i-450-
001 990003221370403321
035   $a000322137
035   $aFED01000322137
035   $a(Aleph)000322137FED01
035   $a000322137
100   $a20000920d1959----km-y0itay50------ba
101 0 $aita
102   $aIT
200 1 $a<<The >>Theory of Groups$fMarshall Hall, Jr..
210   $aNew York$cMacmillan$d\c\\1959.
215   $aXIII, 434 p.$d21 cm
676   $a11310
702  1$aHall,$bMarshall$c<jr.>
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990003221370403321
952   $a11310 HAL$b029753$fSES
959   $aSES
996   $aTheory of groups$979589
997   $aUNINA
DB    $aING01

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

LEADER 00960nas  2200373 c 450 
001 9910901841403321
005 20251012104118.0
011   $a2411-0884
035   $a(DE-599)ZDB2751215-0
035   $a(OCoLC)1366398211
035   $a(DE-101)1046512609
035   $a(CKB)3580000000000412
035   $a(EXLCZ)993580000000000412
100   $a20140120a20119999  |y         |
101 0 $afre
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aRevue Congolaise de Gestion$eRCG
210 31$aEssonnes$cEditions ICES$d[2011?]-
215   $aOnline-Ressource
300   $aGesehen am 22.11.2024
311 08$a1729-0228 
517 3 $aRCG
608   $aZeitschrift$2gnd-content
676   $a330
801  0$b0355
801  1$bDE-101
801  2$b9001
906   $aJOURNAL
912   $a9910901841403321
996   $aRevue Congolaise de Gestion$92279841
997   $aUNINA