Logics and languages for reliability and security /
Includes index
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Washington, D.C. : IOS Press,
2010
|
| Subjects: |
| _version_ | 1796747437332758528 |
|---|---|
| author | Esparza, Javier Spanfelner, Bernd Grumberg, Orna |
| author_facet | Esparza, Javier Spanfelner, Bernd Grumberg, Orna |
| author_sort | Esparza, Javier |
| collection | OCEAN |
| description | Includes index |
| first_indexed | 2024-03-05T13:08:17Z |
| format | |
| id | KOHA-OAI-TEST:492765 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T13:08:17Z |
| publishDate | 2010 |
| publisher | Washington, D.C. : IOS Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4927652020-12-19T17:18:12ZLogics and languages for reliability and security / Esparza, Javier Spanfelner, Bernd Grumberg, Orna Washington, D.C. : IOS Press,2010engIncludes indexPSZJBLProgramming languages (Electronic computers) Languages, ArtificialComputersURN:ISBN:9781607500995 (hbk.) |
| spellingShingle | Programming languages (Electronic computers) Languages, Artificial Computers Esparza, Javier Spanfelner, Bernd Grumberg, Orna Logics and languages for reliability and security / |
| title | Logics and languages for reliability and security / |
| title_full | Logics and languages for reliability and security / |
| title_fullStr | Logics and languages for reliability and security / |
| title_full_unstemmed | Logics and languages for reliability and security / |
| title_short | Logics and languages for reliability and security / |
| title_sort | logics and languages for reliability and security |
| topic | Programming languages (Electronic computers) Languages, Artificial Computers |
| work_keys_str_mv | AT esparzajavier logicsandlanguagesforreliabilityandsecurity AT spanfelnerbernd logicsandlanguagesforreliabilityandsecurity AT grumbergorna logicsandlanguagesforreliabilityandsecurity |