2022, "Isola"

1 uitgave gevonden

• Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles   Engelstalig Paperback 9783031198489 Oktober 2022 598 pagina's This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022,... Vanaf 89,49 Bekijk exemplaren