Formal synthesis of safety controller code for distributed controllers
(eBook)
Author
Published
Berlin : Logos Verlag, [2012].
Physical Desc
1 online resource (156 pages)
Status
More Details
Format
eBook
Language
English
ISBN
9783832599744 (e-book)
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
LC Subjects
Other Subjects
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Missal, D. (2012). Formal synthesis of safety controller code for distributed controllers . Logos Verlag.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Missal, Dirk. 2012. Formal Synthesis of Safety Controller Code for Distributed Controllers. Logos Verlag.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Missal, Dirk. Formal Synthesis of Safety Controller Code for Distributed Controllers Logos Verlag, 2012.
MLA Citation, 9th Edition (style guide)Missal, Dirk. Formal Synthesis of Safety Controller Code for Distributed Controllers Logos Verlag, 2012.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
ea9e5c31-ec61-b836-0768-6ea7d6b6956d-eng
Grouping Information
| Grouped Work ID | ea9e5c31-ec61-b836-0768-6ea7d6b6956d-eng |
|---|---|
| Full title | formal synthesis of safety controller code for distributed controllers |
| Author | missal dirk |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-05-25 05:45:23AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Mar 12, 2024 |
| Last Used | Mar 12, 2024 |
Marc Record
| First Detected | Aug 09, 2021 01:50:06 PM |
|---|---|
| Last File Modification Time | Nov 22, 2021 09:46:50 AM |
MARC Record
| LEADER | 01709nam a2200385 i 4500 | ||
|---|---|---|---|
| 001 | EBC5219649 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 180519s2012 gw o 000 0 eng d | ||
| 020 | |z 9783832531478 | ||
| 020 | |a 9783832599744 (e-book) | ||
| 035 | |a (Sirsi) EBC5219649 | ||
| 035 | |a (Sirsi) EBC5219649 | ||
| 035 | |a (OCoLC)1021805776 | ||
| 040 | |a MiAaPQ|b eng|c MiAaPQ|d MiAaPQ|e rda|e pn | ||
| 050 | 4 | |a TS155.6|b .M577 2012 | |
| 082 | 0 | |a 670.4275|2 23 | |
| 100 | 1 | |a Missal, Dirk,|e author. | |
| 245 | 1 | 0 | |a Formal synthesis of safety controller code for distributed controllers|h [eBook]/|c by Dirk Missal. |
| 264 | 1 | |a Berlin :|b Logos Verlag,|c [2012] | |
| 264 | 4 | |c ©2012 | |
| 300 | |a 1 online resource (156 pages) | ||
| 336 | |a text|b txt|2 rdacontent | ||
| 337 | |a computer|b c|2 rdamedia | ||
| 338 | |a online resource|b cr|2 rdacarrier | ||
| 588 | |a Description based on print version record. | ||
| 650 | 0 | |a Automatic control|x Standards. | |
| 655 | 4 | |a Electronic books. | |
| 776 | 0 | 8 | |i Print version:|a Missal, Dirk.|t Formal synthesis of safety controller code for distributed controllers.|d Berlin : Logos Verlag, c2012|h 156 pages |z 9783832531478 |
| 797 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=5219649|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=5219649|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=5219649|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
