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