LEADER 01441nlm0 22004091i 450 
001 990009244310403321
010   $a9783540708896
035   $a000924431
035   $aFED01000924431
035   $a(Aleph)000924431FED01
035   $a000924431
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aHardware and Software, Verification and Testing$bRisorsa elettronica$eSecond International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers$fedited by Eyal Bin, Avi Ziv, Shmuel Ur
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4383
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aBin,$bEyal
702  1$aUr,$bShmuel
702  1$aZiv,$bAvi
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-70889-6
901   $aEB
912   $a990009244310403321
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aProgramming Languages, Compilers, Interpreters
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aHardware and Software, Verification and Testing$9772242
997   $aUNINA

LEADER 01246nam0-22003611i-450-
001 990003014150403321
035   $a000301415
035   $aFED01000301415
035   $a(Aleph)000301415FED01
035   $a000301415
100   $a20000920d1986----km-y0itay50------ba
101 0 $aita
102   $aIT
200 1 $aAspetti istituzionali del vincolo estero$ecosti e benefici della partecipazione dell'Italia ad un'unione monetaria europea$fGiorgio basevi, Francesco Giavazzi.
210   $a[s.l.$c[s.n.]$d\luglio \\1986.
215   $a36 p., 9 p. di tavole$c12 fig.$d20 cm
225 1 $aNote di lavoro$fDipartimento di Scienze Economiche, Universitą degli Studi di Venezia, Cą Foscari$v8607
610 0 $aAccordi monetari
610 0 $aIntegrazione economica europea
610 0 $aItalia$aEconomia
676   $aF/1.411
676   $aO/1.2430
676   $aO/2.43
702  1$aGiavazzi,$bFrancesco$f<1949- >
712  2$aUniversitą Ca' Foscari Venezia.$bDipartimento di scienze economiche
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990003014150403321
952   $aA/71 NOT$b3734$fSES
959   $aSES
996   $aAspetti istituzionali del vincolo estero$9467865
997   $aUNINA
DB    $aING01