Abstract State Machines, Alloy, B, TLA, VDM, and Z
Material type:
TextLanguage: English Publication details: Springer; Springer; 2018ISBN: - 9783319912714
eBooks
| Item type | Current library | Home library | Status | Barcode | |
|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1741690 |
There are no comments on this title.
Log in to your account to post a comment.
