/LC.GIF&client=easterncarolinaedu)
Real time programming languages, specification and verification / R.K. Shyamasundar, S. Ramesh.
| Author/creator | Shyamasundar, Rudrapatna, 1950- |
| Other author | Ramesh, S. (Sethu) |
| Format | Electronic |
| Publication Info | Singapore ; Hackensack, NJ ; London : World Scientific, |
| Description | xv, 245 p. : ill. (some col.) ; 26 cm. |
| Supplemental Content | Full text available from Ebook Central - Academic Complete |
| Subjects |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2010278745 |
| ISBN | 9789810225667 (hbk.) |
| ISBN | 9810225660 (hbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |