Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 14290 Editat de Alessandro Cimatti et al. 17 sep 2023 Paperback Preț: 403.02 lei 503.77 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Editat de Alessandro Cimatti et al. 15 aug 2017 Paperback Preț: 326.06 lei 407.58 lei 6-8 săpt. -20%