€ 62,49
Research on structured formal methods for software, exploring specification, testing, verification and model checking alongside tools and applications for dependable system development.
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 structured formal methods for software, exploring specification, testing, verification and model checking alongside tools and applications for dependable system development.
| Author | Shaoying Liu (Editor); Zhenhua Duan (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319049144, 9783319049151 |
| Format | |
| Publication date | February 20, 2014 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.