Cargando…
Logics and languages for reliability and security /
Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logic...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2010.
|
| Colección: | NATO science for peace and security series. Information and communication security ;
v. 24. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn647184853 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 100713s2010 ne a ob 101 0 eng d | ||
| 010 | |a 2017394913 | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d EBLCP |d YDXCP |d OCLCQ |d MERUC |d OCLCF |d OCLCQ |d OCLCO |d DEBSZ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d N$T |d OCLCO |d OCLCQ |d AGLDB |d ICA |d ZCU |d OCLCQ |d U3W |d OCLCA |d D6H |d VTS |d ICG |d INT |d AU@ |d OCLCQ |d STF |d DKC |d OCLCQ |d M8D |d AJS |d HS0 |d VT2 |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCL | ||
| 019 | |a 1058346205 |a 1228615939 | ||
| 020 | |a 9781607501008 |q (electronic bk.) | ||
| 020 | |a 1607501007 |q (electronic bk.) | ||
| 020 | |a 9781607500995 |q (hbk.) | ||
| 020 | |a 160750099X | ||
| 029 | 1 | |a AU@ |b 000046054353 | |
| 029 | 1 | |a DEBBG |b BV044145884 | |
| 029 | 1 | |a DEBSZ |b 430873689 | |
| 029 | 1 | |a DEBSZ |b 484696564 | |
| 035 | |a (OCoLC)647184853 |z (OCoLC)1058346205 |z (OCoLC)1228615939 | ||
| 037 | |a 978-1-60750-100-8 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.76 | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Study Institute on Logics and Languages for Reliability and Security |d (2009 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Logics and languages for reliability and security / |c edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. |
| 260 | |a Amsterdam : |b IOS Press, |c 2010. | ||
| 300 | |a 1 online resource (ix, 325 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a NATO science for peace and security series. D, Information and communication security, |x 1874-6268 ; |v v. 24 | |
| 504 | |a Includes bibliographical reference and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. | ||
| 505 | 0 | |a Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata | |
| 505 | 8 | |a Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Computer logic |v Congresses. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 6 | |a Logique informatique |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Computer logic |2 fast | |
| 650 | 7 | |a Computer security |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Esparza, Javier. | |
| 700 | 1 | |a Spanfelner, Bernd. | |
| 700 | 1 | |a Grumberg, Orna. | |
| 710 | 2 | |a IOS Press. | |
| 758 | |i has work: |a Logics and languages for reliability and security (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFQDmckMqtmXTYYdyWgrhd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany). |t Logics and languages for reliability and security. |d Amsterdam : IOS Press, 2010 |z 9781607500995 |z 160750099X |w (OCoLC)567148833 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 24. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=557042 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL557042 | ||
| 938 | |a EBSCOhost |b EBSC |n 1361692 | ||
| 938 | |a YBP Library Services |b YANK |n 3379147 | ||
| 994 | |a 92 |b IZTAP | ||