Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.
2010
TK7895.E42 A387 2010eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.
Uniform Title
Approches formelles des systèmes embarqués communicants. English.
ISBN
9781848211438
9781118600122 electronic book
9781118600122 electronic book
Publication Details
London : ISTE ; Hoboken, N.J. : Wiley, 2010.
Language
English
Description
xii, 261 p. : ill.
Call Number
TK7895.E42 A387 2010eb
Dewey Decimal Classification
621.39/2
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Linked Resources
Record Appears in