€ 62,49
Tools and Algorithms for the Construction and Analysis of Systems — 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. An English-language digital edition by Christel Baier (Editor); Cesare Tinelli (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 proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS…
Catalogue preview, eBooks.com
| Author | Christel Baier (Editor); Cesare Tinelli (Editor) |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Language | English |
| ISBN | 9783662466803, 9783662466810 |
| Format | |
| Publication date | March 30, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.