LEADER 00826nam0-2200301---450- 001 990009899730403321 005 20140930111629.0 035 $a000989973 035 $aFED01000989973 035 $a(Aleph)000989973FED01 035 $a000989973 100 $a20140930f19731980km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $aLiguria$fItalo Calvino, Folco Quilici 210 $aMilano$cEsso italiana$d[1973] 215 $a77 p.$cin gran parte ill.$d27 cm 610 0 $aLiguria 700 1$aCalvino,$bItalo$f<1923-1985>$011716 701 1$aQuilici,$bFolco$f<1930- >$074427 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009899730403321 952 $aCons.2 G. It. 1(1)$bB.F.L.F.$fILFGE 959 $aILFGE 996 $aLiguria$9828623 997 $aUNINA LEADER 01211nam 2200409 450 001 9910467069403321 005 20200520144314.0 010 $a3-8325-9974-6 035 $a(CKB)4340000000242778 035 $a(MiAaPQ)EBC5219649 035 $a(Au-PeEL)EBL5219649 035 $a(CaPaEBR)ebr11539497 035 $a(OCoLC)1021805776 035 $a(EXLCZ)994340000000242778 100 $a20180519d2012 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal synthesis of safety controller code for distributed controllers /$fby Dirk Missal 210 1$aBerlin :$cLogos Verlag,$d[2012] 210 4$dİ2012 215 $a1 online resource (156 pages) 311 $a3-8325-3147-5 606 $aAutomatic control$xStandards 608 $aElectronic books. 615 0$aAutomatic control$xStandards. 676 $a670.4275 700 $aMissal$b Dirk$0912195 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910467069403321 996 $aFormal synthesis of safety controller code for distributed controllers$92042533 997 $aUNINA