An edition of Abstract State Machines, Alloy, B, TLA, VDM, and Z
(2016)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
by Michael Butler, Alexander Raschke, Thai Son Hoang, and Klaus Reichl
- 0 Ratings
- 1 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
May 08, 2018, Springer
paperback
3319912704 9783319912707
|
zzzz
Libraries near you:
WorldCat
|
2
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
2016, Springer London, Limited
in English
3319336002 9783319336008
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?
History
- Created October 5, 2021
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| November 12, 2022 | Edited by bitnapper | merge authors |
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |