Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Editat de Yamine Aït-Ameur et al. 29 iul 2021 Paperback Preț: 653.99 lei 817.48 lei 6-8 săpt. -20%
