Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Material type: TextPublication details: Springer Nature 2021ISSN:- 9789811550546
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
E-Book | LRC, IIT Indore Online | Not for loan | EB6863 |
Total holds: 0
One time purchase [Perpetual access]