72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15
51,99€(IVA inc.)
Modeling Companion for Software Practitioners
- Börger, Egon
- 978-3-6625-6639-8
- 2018-04-03