Formal methods for safety and security : : case studies for aerospace applications / / Manju Nanda, Yogananda Jeppu, editors.
Saved in:
| TeilnehmendeR: | |
|---|---|
| Place / Publishing House: | Gateway East, Singapore : : Springer,, 2018. 2018 |
| Year of Publication: | 2018 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (138 pages) :; illustrations (some color), graphs |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
5005143834 |
|---|---|
| ctrlnum |
(MiAaPQ)5005143834 (Au-PeEL)EBL5143834 (CaPaEBR)ebr11465644 (OCoLC)1012347666 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors. Gateway East, Singapore : Springer, 2018. 2018 1 online resource (138 pages) : illustrations (some color), graphs text rdacontent computer rdamedia online resource rdacarrier Includes bibliographical references at the end of each chapters and index. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Formal methods (Computer science) Electronic books. Nanda, Manju, editor. Jeppu, Yogananda, editor. Print version: Formal methods for safety and security : case studies for aerospace applications. Gateway East, Singapore ; Springer, c2018 xii, 132 pages 9789811041204 2017934065 ProQuest (Firm) https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5143834 Click to View |
| language |
English |
| format |
eBook |
| author2 |
Nanda, Manju, Jeppu, Yogananda, |
| author_facet |
Nanda, Manju, Jeppu, Yogananda, |
| author2_variant |
m n mn y j yj |
| author2_role |
TeilnehmendeR TeilnehmendeR |
| title |
Formal methods for safety and security : case studies for aerospace applications / |
| spellingShingle |
Formal methods for safety and security : case studies for aerospace applications / |
| title_sub |
case studies for aerospace applications / |
| title_full |
Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors. |
| title_fullStr |
Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors. |
| title_full_unstemmed |
Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors. |
| title_auth |
Formal methods for safety and security : case studies for aerospace applications / |
| title_new |
Formal methods for safety and security : |
| title_sort |
formal methods for safety and security : case studies for aerospace applications / |
| publisher |
Springer, |
| publishDate |
2018 |
| physical |
1 online resource (138 pages) : illustrations (some color), graphs |
| isbn |
9789811041211 (e-book) 9789811041204 |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA76 |
| callnumber-sort |
QA 276.9 F67 F676 42018 |
| genre |
Electronic books. |
| genre_facet |
Electronic books. |
| url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5143834 |
| illustrated |
Illustrated |
| dewey-hundreds |
000 - Computer science, information & general works |
| dewey-tens |
000 - Computer science, knowledge & systems |
| dewey-ones |
004 - Data processing & computer science |
| dewey-full |
004.0151 |
| dewey-sort |
14.0151 |
| dewey-raw |
004.0151 |
| dewey-search |
004.0151 |
| oclc_num |
1012347666 |
| work_keys_str_mv |
AT nandamanju formalmethodsforsafetyandsecuritycasestudiesforaerospaceapplications AT jeppuyogananda formalmethodsforsafetyandsecuritycasestudiesforaerospaceapplications |
| status_str |
n |
| ids_txt_mv |
(MiAaPQ)5005143834 (Au-PeEL)EBL5143834 (CaPaEBR)ebr11465644 (OCoLC)1012347666 |
| is_hierarchy_title |
Formal methods for safety and security : case studies for aerospace applications / |
| author2_original_writing_str_mv |
noLinkedField noLinkedField |
| _version_ |
1792330966610477056 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01771nam a2200409 i 4500</leader><controlfield tag="001">5005143834</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">171210t20182018si a ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789811041204</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811041211 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5005143834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5143834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11465644</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012347666</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">QA76.9.F67</subfield><subfield code="b">.F676 2018</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formal methods for safety and security :</subfield><subfield code="b">case studies for aerospace applications /</subfield><subfield code="c">Manju Nanda, Yogananda Jeppu, editors.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Gateway East, Singapore :</subfield><subfield code="b">Springer,</subfield><subfield code="c">2018.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (138 pages) :</subfield><subfield code="b">illustrations (some color), graphs</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters and index.</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, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nanda, Manju,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeppu, Yogananda,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Formal methods for safety and security : case studies for aerospace applications.</subfield><subfield code="d">Gateway East, Singapore ; Springer, c2018 </subfield><subfield code="h">xii, 132 pages </subfield><subfield code="z">9789811041204 </subfield><subfield code="w">2017934065</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=5143834</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |