LEADER 01649nlm0 22004571i 450 001 990009262160403321 010 $a9783642041679 035 $a000926216 035 $aFED01000926216 035 $a(Aleph)000926216FED01 035 $a000926216 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Methods for Components and Objects$bRisorsa elettronica$e7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures$fedited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5751 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBoer,$bFrank S. 702 1$aBonsangue,$bMarcello M. 702 1$aMadelaine,$bEric 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-04167-9 901 $aEB 912 $a990009262160403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aOperating Systems 961 $aOperating systems (Computers) 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSoftware Engineering/Programming and Operating Systems 996 $aFormal Methods for Components and Objects$9772145 997 $aUNINA LEADER 02005nam 2200637 450 001 9910789267903321 005 20230126211847.0 010 $a80-246-2336-6 035 $a(CKB)3710000000095684 035 $a(EBL)3319680 035 $a(SSID)ssj0001328480 035 $a(PQKBManifestationID)11782620 035 $a(PQKBTitleCode)TC0001328480 035 $a(PQKBWorkID)11284667 035 $a(PQKB)10024191 035 $a(MiAaPQ)EBC1996783 035 $a(EXLCZ)993710000000095684 100 $a20140412h20122012 uy 0 101 0 $acze 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aOhniska nape?ti? v postkolonia?lni? Africe /$fJan Za?hor?i?k ; Vlastimil Fiala, Viera Vilhanova?, recenzenti ; Josef Ta?borsky?, redakce ; Jan Sery?ch, graficka? u?prava 205 $aVyda?ni? prvni?. 210 1$a[Prague, Czech Republic] :$cKarolinum,$d2012. 210 4$dİ2012 215 $a1 online resource (274 p.) 300 $aDescription based upon print version of record. 311 $a80-246-1961-X 320 $aIncludes bibliographical references and index. 606 $aPostcolonialism$zAfrica 606 $aSocial change$zAfrica 606 $aPolitical stability$zAfrica 606 $aPolitical crisis$zAfrica 606 $aNational characteristics$zAfrica 606 $aNationalism$zAfrica 615 0$aPostcolonialism 615 0$aSocial change 615 0$aPolitical stability 615 0$aPolitical crisis 615 0$aNational characteristics 615 0$aNationalism 676 $a960.0711 700 $aZa?hor?i?k$b Jan$01143033 702 $aFiala$b Vlastimil 702 $aVilhanova?$b Viera 702 $aTa?borsky?$b Josef 702 $aSery?ch$b Jan 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910789267903321 996 $aOhniska nape?ti? v postkolonia?lni? Africe$93804443 997 $aUNINA