Communicating embedded systems
software and design : formal methods
We couldn't estimate the reading time for this book.
Author
Contributions
- Jard, Claude. - Contributor
- Roux, Olivier H. - Contributor
Publication
2009 - ISTE Ltd/John Wiley and Sons, Hoboken, NJ, New Jersey
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL24001852M
- ISBN-139781848211438
- OCLC Control Number424454754
- OCLC Control Number857718082
- Library of Congress Control Number2009026282
Classifications
- DDC621.39/2
- LCCTK7895.E42 A387 2009
Subjects
Topics
ProgrammingDevelopmentSystem designComputer scienceComputer softwareNetworks on a chipDesign and constructionEmbedded computer systemsComputer software, developmentComputer software -- DevelopmentFormal methods (Computer science)Embedded computer systems -- ProgrammingEmbedded computer systems -- Design and construction
Other Editions
- Communicating embedded systems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!