Communicating embedded systems : software and design : formal methods /

Includes bibliographical references and index

Bibliographic Details
Main Authors: Jard, Claude, Roux, Olivier H.
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