Logics and languages for reliability and security / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
Saved in:
| Superior document: | NATO science for peace and security series. D, Information and communication security ; v. 25 |
|---|---|
| : | |
| TeilnehmendeR: | |
| Year of Publication: | 2010 |
| Language: | English |
| Series: | NATO science for peace and security series. Information and communication security ;
v. 25. |
| Online Access: | |
| Physical Description: | ix, 325 p. :; ill. |
| Notes: | Includes indexes. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
500557042 |
|---|---|
| ctrlnum |
(MiAaPQ)500557042 (Au-PeEL)EBL557042 (CaPaEBR)ebr10403989 (CaONFJC)MIL269267 (OCoLC)647184853 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. Washington, D.C. : IOS Press, 2010. ix, 325 p. : ill. NATO science for peace and security series. D, Information and communication security ; v. 25 Includes indexes. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Programming languages (Electronic computers) Languages, Artificial. Computers Reliability. Computer security. Electronic books. Esparza, Javier. Spanfelner, Bernd. Grumberg, Orna. Technische Universitat Munchen (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=557042 Click to View |
| language |
English |
| format |
Electronic eBook |
| author2 |
Esparza, Javier. Spanfelner, Bernd. Grumberg, Orna. Technische Universitat Munchen (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) |
| author_facet |
Esparza, Javier. Spanfelner, Bernd. Grumberg, Orna. Technische Universitat Munchen (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) Technische Universitat Munchen (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) |
| author2_variant |
j e je b s bs o g og |
| author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR |
| author_corporate |
Technische Universitat Munchen (Germany) TECHNION. Israel Institute of Technology (Israel) ProQuest (Firm) |
| author_sort |
Esparza, Javier. |
| title |
Logics and languages for reliability and security |
| spellingShingle |
Logics and languages for reliability and security NATO science for peace and security series. D, Information and communication security ; |
| title_full |
Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. |
| title_fullStr |
Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. |
| title_full_unstemmed |
Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. |
| title_auth |
Logics and languages for reliability and security |
| title_new |
Logics and languages for reliability and security |
| title_sort |
logics and languages for reliability and security |
| series |
NATO science for peace and security series. D, Information and communication security ; |
| series2 |
NATO science for peace and security series. D, Information and communication security ; |
| publisher |
IOS Press, |
| publishDate |
2010 |
| physical |
ix, 325 p. : ill. |
| isbn |
9781607501008 (electronic bk.) |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA76 |
| callnumber-sort |
QA 276.7 L64 |
| genre |
Electronic books. |
| genre_facet |
Electronic books. |
| url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=557042 |
| illustrated |
Illustrated |
| oclc_num |
647184853 |
| work_keys_str_mv |
AT esparzajavier logicsandlanguagesforreliabilityandsecurity AT spanfelnerbernd logicsandlanguagesforreliabilityandsecurity AT grumbergorna logicsandlanguagesforreliabilityandsecurity AT technischeuniversitatmunchengermany logicsandlanguagesforreliabilityandsecurity AT technionisraelinstituteoftechnologyisrael logicsandlanguagesforreliabilityandsecurity AT proquestfirm logicsandlanguagesforreliabilityandsecurity |
| status_str |
n |
| ids_txt_mv |
(MiAaPQ)500557042 (Au-PeEL)EBL557042 (CaPaEBR)ebr10403989 (CaONFJC)MIL269267 (OCoLC)647184853 |
| hierarchy_parent_title |
NATO science for peace and security series. D, Information and communication security ; v. 25 |
| hierarchy_sequence |
v. 25. |
| is_hierarchy_title |
Logics and languages for reliability and security |
| container_title |
NATO science for peace and security series. D, Information and communication security ; v. 25 |
| author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
| _version_ |
1792330702961770496 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01806nam a2200445 a 4500</leader><controlfield tag="001">500557042</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">100111s2010 dcu o s 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2010920423</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607500995 (hardcover)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501008 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500557042</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL557042</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10403989</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL269267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)647184853</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.7</subfield><subfield code="b">.L64</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logics and languages for reliability and security</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">[edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 325 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO science for peace and security series. D, Information and communication security ;</subfield><subfield code="v">v. 25</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Languages, Artificial.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computers</subfield><subfield code="x">Reliability.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Esparza, Javier.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spanfelner, Bernd.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Technische Universitat Munchen (Germany)</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">TECHNION.</subfield><subfield code="b">Israel Institute of Technology (Israel)</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science for peace and security series.</subfield><subfield code="n">Sub-series D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 25.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=557042</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |