72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15