Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 sep 2025
Parperback
Preț: 391.50 lei 489.37 lei
17-24 zile | 7-13 zile
-20%
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Parperback
Preț: 273.94 lei 342.42 lei
17-24 zile | 7-13 zile
-20%
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Editat de Tiziana Margaria et al.
19 oct 2010
Parperback
Preț: 330.98 lei 413.73 lei
3-5 săpt.
-20%