Formal Methods for Industrial Critical Systems
Editat de Alessandro Cimatti et al.
17 sep 2023
Paperback
Preț: 401.78 lei 502.22 lei
6-8 săpt.
-20%
Cărți de Alessandro Cimatti
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Editat de Marco Bernardo et al.
15 mai 2006
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Editat de Alessandro Cimatti et al.
22 iun 2012
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Editat de Alessandro Cimatti et al.
15 aug 2017
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%