Real time programming [electronic resource] : languages, specification and verification / R.K. Shyamasundar, S. Ramesh.
2010
QA76.54 .S33 2010eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Real time programming [electronic resource] : languages, specification and verification / R.K. Shyamasundar, S. Ramesh.
ISBN
9789810225667 hardcover
9810225660 hardcover
9810225660 hardcover
Publication Details
Singapore ; Hackensack, NJ ; London : World Scientific, c2010.
Language
English
Description
xv, 245 p. : ill. (some col.).
Call Number
QA76.54 .S33 2010eb
Dewey Decimal Classification
004/.33
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Linked Resources
Record Appears in