LEADER 00917nam0-2200325---450- 001 990009348560403321 005 20110426100941.0 010 $a978-88-15-14959-6 035 $a000934856 035 $aFED01000934856 035 $a(Aleph)000934856FED01 035 $a000934856 100 $a20110426d2010----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>Asia orientale$edal 1945 ai giorni nostri$fAntonio Fiori 210 $aBologna$cil Mulino$d2010 215 $a232 p.$d21 cm 225 1 $aUniversale paperbacks Il mulino$v596 610 0 $aAsia orientale$a1945-2009 676 $a950.42$v21$zita 700 1$aFiori,$bAntonio$f<1972- >$0510874 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009348560403321 952 $aCollez. 28 (596)$b46712$fFSPBC 959 $aFSPBC 996 $aAsia orientale$9767766 997 $aUNINA LEADER 01493oam 2200481zu 450 001 9910130826603321 005 20241212220409.0 010 $a9781467313131 010 $a1467313130 035 $a(CKB)3420000000000607 035 $a(SSID)ssj0000781150 035 $a(PQKBManifestationID)12367094 035 $a(PQKBTitleCode)TC0000781150 035 $a(PQKBWorkID)10804026 035 $a(PQKB)11331891 035 $a(Non_Seri)133628 035 $a(NjHacI)993420000000000607 035 $a(Association for Computing Machinery)10.5555/3041409 035 $a(EXLCZ)993420000000000607 100 $a20160829d2012 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign 210 31$a[Place of publication not identified]$cIEEE$d2012 215 $a1 online resource 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9781467313148 311 08$a1467313149 410 0$aACM Conferences 517 3 $aMEMOCODE '12 606 $aFormal methods (Computer science) 615 0$aFormal methods (Computer science) 676 $a004.0151 712 02$aInstitute of Electrical and Electronics Engineers, 801 0$bPQKB 906 $aPROCEEDING 912 $a9910130826603321 996 $a2012 10th IEEE$91943014 997 $aUNINA