€ 62,49
Abstract State Machines, Alloy, B, TLA, VDM, and Z — 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. An English-language digital edition by Michael Butler (Editor); Klaus-Dieter Schewe (Editor); Atif Mashkoor (Editor); Miklos Biro (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 bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held…
Catalogue preview, eBooks.com
| Author | Michael Butler (Editor); Klaus-Dieter Schewe (Editor); Atif Mashkoor (Editor); Miklos Biro (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319335995, 9783319336008 |
| Format | |
| Publication date | May 12, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.