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 |