Formal synthesis of safety controller code for distributed controllers /

Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal.

Saved in:
Bibliographic Details
VerfasserIn:
Missal, Dirk,
Place / Publishing House:Berlin : : Logos Verlag,, [2012]
2012
Year of Publication:2012
Language:English
Online Access:
Physical Description:1 online resource (156 pages)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5005219649
ctrlnum (MiAaPQ)5005219649
(Au-PeEL)EBL5219649
(CaPaEBR)ebr11539497
(OCoLC)1021805776
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01541nam a2200385 i 4500</leader><controlfield tag="001">5005219649</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">180519s2012 gw o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783832531478</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832599744</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5005219649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5219649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11539497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1021805776</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TS155.6</subfield><subfield code="b">.M577 2012</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">670.4275</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Missal, Dirk,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal synthesis of safety controller code for distributed controllers /</subfield><subfield code="c">by Dirk Missal.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin :</subfield><subfield code="b">Logos Verlag,</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (156 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic control</subfield><subfield code="x">Standards.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Missal, Dirk.</subfield><subfield code="t">Formal synthesis of safety controller code for distributed controllers.</subfield><subfield code="d">Berlin : Logos Verlag, c2012 </subfield><subfield code="h">156 pages </subfield><subfield code="z">9783832531478</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5219649</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Missal, Dirk, author.
Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.
Berlin : Logos Verlag, [2012]
2012
1 online resource (156 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Automatic control Standards.
Electronic books.
Print version: Missal, Dirk. Formal synthesis of safety controller code for distributed controllers. Berlin : Logos Verlag, c2012 156 pages 9783832531478
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5219649 Click to View
language English
format eBook
author Missal, Dirk,
spellingShingle Missal, Dirk,
Formal synthesis of safety controller code for distributed controllers /
author_facet Missal, Dirk,
author_variant d m dm
author_role VerfasserIn
author_sort Missal, Dirk,
title Formal synthesis of safety controller code for distributed controllers /
title_full Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.
title_fullStr Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.
title_full_unstemmed Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.
title_auth Formal synthesis of safety controller code for distributed controllers /
title_new Formal synthesis of safety controller code for distributed controllers /
title_sort formal synthesis of safety controller code for distributed controllers /
publisher Logos Verlag,
publishDate 2012
physical 1 online resource (156 pages)
isbn 9783832599744
9783832531478
callnumber-first T - Technology
callnumber-subject TS - Manufactures
callnumber-label TS155
callnumber-sort TS 3155.6 M577 42012
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5219649
illustrated Not Illustrated
dewey-hundreds 600 - Technology
dewey-tens 670 - Manufacturing
dewey-ones 670 - Manufacturing
dewey-full 670.4275
dewey-sort 3670.4275
dewey-raw 670.4275
dewey-search 670.4275
oclc_num 1021805776
work_keys_str_mv AT missaldirk formalsynthesisofsafetycontrollercodefordistributedcontrollers
status_str n
ids_txt_mv (MiAaPQ)5005219649
(Au-PeEL)EBL5219649
(CaPaEBR)ebr11539497
(OCoLC)1021805776
carrierType_str_mv cr
is_hierarchy_title Formal synthesis of safety controller code for distributed controllers /
_version_ 1792330980275519488

Similar Items