A practical theory of reactive systems : incremental modeling of dynamic behaviors /

57

Bibliographic Details
Main Author: 408617 Kurki-Suonio, Reino
Format:
Language:eng
Published: Berlin : Springer, 2005
Subjects:
_version_ 1826376846224130048
author 408617 Kurki-Suonio, Reino
author_facet 408617 Kurki-Suonio, Reino
author_sort 408617 Kurki-Suonio, Reino
collection OCEAN
description 57
first_indexed 2024-03-04T17:52:35Z
format
id KOHA-OAI-TEST:108039
institution Universiti Teknologi Malaysia - OCEAN
language eng
last_indexed 2024-03-04T17:52:35Z
publishDate 2005
publisher Berlin : Springer,
record_format dspace
spelling KOHA-OAI-TEST:1080392020-12-19T17:01:47ZA practical theory of reactive systems : incremental modeling of dynamic behaviors / 408617 Kurki-Suonio, Reino Berlin : Springer,2005eng575859PSZJBLComputer softwareSystem designURN:ISBN:3540233423 (hbk.)
spellingShingle Computer software
System design
408617 Kurki-Suonio, Reino
A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title_full A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title_fullStr A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title_full_unstemmed A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title_short A practical theory of reactive systems : incremental modeling of dynamic behaviors /
title_sort practical theory of reactive systems incremental modeling of dynamic behaviors
topic Computer software
System design
work_keys_str_mv AT 408617kurkisuonioreino apracticaltheoryofreactivesystemsincrementalmodelingofdynamicbehaviors
AT 408617kurkisuonioreino practicaltheoryofreactivesystemsincrementalmodelingofdynamicbehaviors