LEADER 01602nlm0 22004451i 450 001 990009245270403321 010 $a9783540497035 035 $a000924527 035 $aFED01000924527 035 $a(Aleph)000924527FED01 035 $a000924527 100 $a20100926d2006----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Approaches to Software Testing and Runtime Verification$bRisorsa elettronica$eFirst Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers$fedited by Klaus Havelund, M 210 $aBerlin ; Heidelberg$cSpringer$d2006 225 1 $aLecture Notes in Computer Science$x0302-9743$v4262 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHavelund,$bKlaus 702 1$aNunez,$bManuel 702 1$aRosu,$bGrigore 702 1$aWolff,$bBurkhart 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11940197 901 $aEB 912 $a990009245270403321 961 $aComputer science 961 $aComputer Science 961 $aInformation Systems 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aManagement of Computing and Information Systems 961 $aProgramming Languages, Compilers, Interpreters 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aFormal Approaches to Software Testing and Runtime Verification$9772491 997 $aUNINA LEADER 01777nlm 22002772 450 001 996461953703316 005 20220328095829.0 010 $a0-521-86653-7 100 $a20090522d2009---- uy| 0 101 0 $aeng 102 $aUS 135 $adrcnu 200 1 $aEconomic liberalism and its rivals$ethe formation of international institutions among the post-Soviet states$fKeith A. Darden 210 1 $aCambridge$cCambridge University Press$d2009 215 $aTesto elettronico (PDF) (XI, 351 p.) 230 $aBase dati testuale 330 $aIl volume esamina il ruolo che le idee economiche dei leader politici svolgono nella creazione e nel mantenimento dell'ordine economico internazionale. Basandosi su uno studio dettagliato dei quindici stati post-sovietici nel loro primo decennio di indipendenza, su interviste con i principali responsabili delle decisioni e su fonti di archivi ministeriali chiusi, il libro esplora come le idee mutevoli dei funzionari statali abbiano portato i paesi a seguire uno dei tre percorsi istituzionali: ingresso rapido nell'Organizzazione mondiale del commercio, partecipazione a un'unione doganale regionale basata sui precedenti legami sovietici, autarchia e chiusura economica. In tal modo, il libro traccia le decisioni che hanno plasmato l'ingresso di questi paesi strategicamente importanti nell'economia mondiale e fornisce una nuova teoria del ruolo delle idee nella politica internazionale. 606 0 $aPaesi della Comunità di stati indipendenti$xPolitica economica internazionale$2BNCF 676 $a337.47 700 1$aDARDEN,$bKeith A.$0607046 801 0$aIT$bcba$cREICAT 912 $a996461953703316 959 $aEB 969 $aER 996 $aEconomic liberalism and its rivals$91123675 997 $aUNISA