Formal Methods for Components and Objects
Editat de Elena Giachino et al.
26 aug 2013
Paperback
Preț: 291.39 lei 364.24 lei
6-8 săpt.
-20%
Programming and Software Engineering
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Editat de Amel Bennaceur et al.
21 iul 2018
Paperback
Preț: 373.16 lei 466.46 lei
6-8 săpt.
-20%
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%