€ 62,49
Research on automated analysis and verification of hardware and software, examining methods for dependable concurrent, embedded and real-time systems and their industrial applications.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
Research on automated analysis and verification of hardware and software, examining methods for dependable concurrent, embedded and real-time systems and their industrial applications.
| Author | Dang Van Hung (Editor); Mizuhito Ogawa (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319024431, 9783319024448 |
| Format | |
| Publication date | August 30, 2013 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.