Real time programming : languages, specification and verification /
Includes bibliographical references and index
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Singapore ; Hackensack, N.J. ; London : World Scientific,
c201
|
| Subjects: |
| _version_ | 1826445877897592832 |
|---|---|
| author | Shyamasundar, Rudrapatna, 1950- Ramesh, S. (Sethu) |
| author_facet | Shyamasundar, Rudrapatna, 1950- Ramesh, S. (Sethu) |
| author_sort | Shyamasundar, Rudrapatna, 1950- |
| collection | OCEAN |
| description | Includes bibliographical references and index |
| first_indexed | 2024-03-05T10:49:00Z |
| format | |
| id | KOHA-OAI-TEST:446408 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T10:49:00Z |
| publishDate | c201 |
| publisher | Singapore ; Hackensack, N.J. ; London : World Scientific, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4464082020-12-19T17:16:11ZReal time programming : languages, specification and verification / Shyamasundar, Rudrapatna, 1950- Ramesh, S. (Sethu) Singapore ; Hackensack, N.J. ; London : World Scientific,c2010engIncludes bibliographical references and indexPSZJBLReal-time programmingURN:ISBN:9789810225667 (hbk.)URN:ISBN:9810225660 (hbk.) |
| spellingShingle | Real-time programming Shyamasundar, Rudrapatna, 1950- Ramesh, S. (Sethu) Real time programming : languages, specification and verification / |
| title | Real time programming : languages, specification and verification / |
| title_full | Real time programming : languages, specification and verification / |
| title_fullStr | Real time programming : languages, specification and verification / |
| title_full_unstemmed | Real time programming : languages, specification and verification / |
| title_short | Real time programming : languages, specification and verification / |
| title_sort | real time programming languages specification and verification |
| topic | Real-time programming |
| work_keys_str_mv | AT shyamasundarrudrapatna1950 realtimeprogramminglanguagesspecificationandverification AT rameshssethu realtimeprogramminglanguagesspecificationandverification |