Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Автор:
Tiziana Margaria, Bernhard Steffen
Наличност:
Външен склад
Изпращаме след 5-8 дни
89.71
€
175.47 лв
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the...
