€ 62,49
Formal Modeling and Analysis of Timed Systems — 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. An English-language digital edition by Sriram Sankaranarayanan (Editor); Enrico Vicario (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 the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held…
Catalogue preview, eBooks.com
| Author | Sriram Sankaranarayanan (Editor); Enrico Vicario (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319229744, 9783319229751 |
| Format | |
| Publication date | August 21, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.