€ 112,49
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques — 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. An English-language digital edition by Tiziana Margaria (Editor); Bernhard Steffen (Editor), available in PDF.
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.
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal…
Catalogue preview, eBooks.com
| Author | Tiziana Margaria (Editor); Bernhard Steffen (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319471655, 9783319471662 |
| Format | |
| Publication date | October 05, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.