LEADER 01656nam0 2200349 i 450 
001 SUN0115473
005 20180313091055.75
010   $d0.00
017 70$2N$a978-94-6239-204-5
100   $a20180309d2016       |0engc50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $a*Type systems for distributed programs$ecomponents and sessions$fOrnela Dardha
205   $a[Amsterdam] : Atlantis, 2016
210   $aXXII$d192 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0104364$12001 $a*Atlantis Studies in Computing$v7$1210  $aParis$cAtlantis$d2012-.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$2MF$3SUNC024550
606   $a68M14$xDistributed systems [MSC 2020]$2MF$3SUNC027695
606   $a68N19$xOther programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]$2MF$3SUNC028606
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$2MF$3SUNC031034
620   $dAmsterdam$3SUNL001716
700  1$aDardha$b, Ornela$3SUNV089395$0756122
712   $aAtlantis$3SUNV008721$4650
801   $aIT$bSOL$c20200928$gRICA
856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-204-5
912   $aSUN0115473
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 2577                      $e15EB 2577              20180309            
996   $aType systems for distributed programs$91523709
997   $aUNICAMPANIA