€ 62,49
Software Engineering and Formal Methods — SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. An English-language digital edition by Domenico Bianculli (Editor); Radu Calinescu (Editor); Bernhard Rumpe (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.
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held…
Catalogue preview, eBooks.com
| Author | Domenico Bianculli (Editor); Radu Calinescu (Editor); Bernhard Rumpe (Editor) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783662492239, 9783662492246 |
| Format | |
| Publication date | January 11, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.