Abstract State Machines, Alloy, B, TLA, VDM, and Z
€ 62,49
Abstract State Machines, Alloy, B, TLA, VDM, and Z — 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. An English-language digital edition by Yamine Ait Ameur (Editor); Klaus-Dieter Schewe (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.
Abstract State Machines, Alloy, B, TLA, VDM, and Z — 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. An English-language digital edition by Yamine Ait Ameur (Editor); Klaus-Dieter Schewe (Editor), available in PDF.
Edition details
Author / contributors: Yamine Ait Ameur (Editor); Klaus-Dieter Schewe (Editor)
Publisher: Springer Berlin Heidelberg
Publication date: May 29, 2014
Language: English
ISBNs: 9783662436516; 9783662436523
Digital formats: PDF
Additional information
Author
Yamine Ait Ameur (Editor); Klaus-Dieter Schewe (Editor)
Publisher
Springer Berlin Heidelberg
Language
English
ISBN
9783662436516, 9783662436523
Format
PDF
Publication date
May 29, 2014
DRM
DRM-free edition available
Download format
PDF (.pdf)
Reviews
There are no reviews yet.
Be the first to review “Abstract State Machines, Alloy, B, TLA, VDM, and Z” Cancel reply
Reviews
There are no reviews yet.