Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings Editat de Yamine Ait-Ameur et al. 29 iul 2021 Paperback Preț: 629.94 lei 787.43 lei 6-8 săpt. -20%
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings Lecture Notes in Computer Science, nr. 11852 Editat de Yamine Ait-Ameur et al. 6 oct 2019 Paperback Preț: 338.00 lei 422.50 lei 6-8 săpt. -20%