Communicating embedded systems : software and design : formal methods /
Includes bibliographical references and index
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
London : ISTE ; Hoboken, NJ : John Wiley and Sons,
2010
|
| Subjects: |
| _version_ | 1826442619892269056 |
|---|---|
| author | Jard, Claude Roux, Olivier H. |
| author_facet | Jard, Claude Roux, Olivier H. |
| author_sort | Jard, Claude |
| collection | OCEAN |
| description | Includes bibliographical references and index |
| first_indexed | 2024-03-05T10:01:26Z |
| format | |
| id | KOHA-OAI-TEST:430604 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T10:01:26Z |
| publishDate | 2010 |
| publisher | London : ISTE ; Hoboken, NJ : John Wiley and Sons, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4306042020-12-19T17:15:23ZCommunicating embedded systems : software and design : formal methods / Jard, Claude Roux, Olivier H. London : ISTE ; Hoboken, NJ : John Wiley and Sons,2010engIncludes bibliographical references and indexPSZJBLEmbedded computer systemsEmbedded computer systemsComputer softwareFormal methods (Computer science)URN:ISBN:9781848211438 (hbk.)URN:ISBN:1848211430 (hbk.) |
| spellingShingle | Embedded computer systems Embedded computer systems Computer software Formal methods (Computer science) Jard, Claude Roux, Olivier H. Communicating embedded systems : software and design : formal methods / |
| title | Communicating embedded systems : software and design : formal methods / |
| title_full | Communicating embedded systems : software and design : formal methods / |
| title_fullStr | Communicating embedded systems : software and design : formal methods / |
| title_full_unstemmed | Communicating embedded systems : software and design : formal methods / |
| title_short | Communicating embedded systems : software and design : formal methods / |
| title_sort | communicating embedded systems software and design formal methods |
| topic | Embedded computer systems Embedded computer systems Computer software Formal methods (Computer science) |
| work_keys_str_mv | AT jardclaude communicatingembeddedsystemssoftwareanddesignformalmethods AT rouxolivierh communicatingembeddedsystemssoftwareanddesignformalmethods |