€ 62,49
Research on checking systems during execution, covering specifications, monitoring and instrumentation alongside methods for finding faults and combining static and dynamic analysis.
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 checking systems during execution, covering specifications, monitoring and instrumentation alongside methods for finding faults and combining static and dynamic analysis.
| Author | Axel Legay (Editor); Saddek Bensalem (Editor) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783642407864, 9783642407871 |
| Format | |
| Publication date | September 19, 2013 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.