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