Formal logical methods for system security and correctness

Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

Saved in:
Bibliographic Details
Superior document:NATO security through science series. D, Information and communication security, v. 14
:
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
TeilnehmendeR:
Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
ProQuest (Firm)
Year of Publication:2008
Language:English
Series:NATO security through science series. Information and communication security ; v. 14.
Online Access:
Physical Description:ix, 318 p. :; ill.
Notes:"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500346214
ctrlnum (MiAaPQ)500346214
(Au-PeEL)EBL346214
(CaPaEBR)ebr10231732
(CaONFJC)MIL173346
(OCoLC)437213124
collection bib_alma
record_format marc
spelling NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
ix, 318 p. : ill.
NATO security through science series. D, Information and communication security, 1874-6268 ; v. 14
"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer security Congresses.
Computer logic Congresses.
Electronic books.
Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
ProQuest (Firm)
NATO security through science series. D, Information and communication security ; v. 14.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=346214 Click to View
language English
format Electronic
Conference Proceeding
eBook
author2 Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
ProQuest (Firm)
author_facet Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
ProQuest (Firm)
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
ProQuest (Firm)
author2_variant o g og
t n tn
c p cp
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
ProQuest (Firm)
author_sort NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
title Formal logical methods for system security and correctness
spellingShingle Formal logical methods for system security and correctness
NATO security through science series. D, Information and communication security,
title_full Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
title_fullStr Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
title_full_unstemmed Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
title_auth Formal logical methods for system security and correctness
title_new Formal logical methods for system security and correctness
title_sort formal logical methods for system security and correctness
series NATO security through science series. D, Information and communication security,
series2 NATO security through science series. D, Information and communication security,
publisher IOS Press,
publishDate 2008
physical ix, 318 p. : ill.
issn 1874-6268 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A25 N3754 42007
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=346214
illustrated Illustrated
oclc_num 437213124
work_keys_str_mv AT natoadvancedstudyinstituteonformallogicalmethodsforsystemsecurityandcorrectnessmarktoberdorfgermany formallogicalmethodsforsystemsecurityandcorrectness
AT grumbergorna formallogicalmethodsforsystemsecurityandcorrectness
AT nipkowtobias formallogicalmethodsforsystemsecurityandcorrectness
AT pfallerchristian formallogicalmethodsforsystemsecurityandcorrectness
AT proquestfirm formallogicalmethodsforsystemsecurityandcorrectness
status_str n
ids_txt_mv (MiAaPQ)500346214
(Au-PeEL)EBL346214
(CaPaEBR)ebr10231732
(CaONFJC)MIL173346
(OCoLC)437213124
hierarchy_parent_title NATO security through science series. D, Information and communication security, v. 14
hierarchy_sequence v. 14.
is_hierarchy_title Formal logical methods for system security and correctness
container_title NATO security through science series. D, Information and communication security, v. 14
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330683877687296
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01940nam a2200409Ia 4500</leader><controlfield tag="001">500346214</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">080407s2008 ne a sb 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586038434</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586038435</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500346214</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL346214</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10231732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL173346</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)437213124</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.9.A25</subfield><subfield code="b">N3754 2007</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness</subfield><subfield code="d">(2007 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal logical methods for system security and correctness</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam, Netherlands ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">c2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 318 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO security through science series. D, Information and communication security,</subfield><subfield code="x">1874-6268 ;</subfield><subfield code="v">v. 14</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</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">Computer security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias,</subfield><subfield code="d">1958-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pfaller, Christian.</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 security through science series.</subfield><subfield code="n">D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 14.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=346214</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items