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: |