LEADER 00873cam0-2200289---450-
001 990009790440403321
005 20140228084354.0
010   $a978-88-6464-186-7
035   $a000979044
035   $aFED01000979044
035   $a(Aleph)000979044FED01
035   $a000979044
100   $a20131115d2012----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $ay-------001yy
200 1 $aAlla ricerca della statualità$eun confronto storico-politico su Stato, federalismo e democrazia in Italia e in Europa$fa cura di Leonida Tedoldi
210   $aVerona$cQuiEdit$d2012
215   $a198 p.$d21 cm
702  1$aTedoldi,$bLeonida$f<1965- >
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009790440403321
952   $aXII B 207$b50708$fFSPBC
959   $aFSPBC
996   $aAlla ricerca della statualità$9836768
997   $aUNINA

LEADER 02430nam  2200589 a 450 
001 9910830154503321
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$01698190
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910830154503321
996   $aModels and analysis in distributed systems$94079490
997   $aUNINA