Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles son 9783031198496, 3031198492 y los ISBN de versión impresa son 9783031198489, 3031198484. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles son 9783031198496, 3031198492 y los ISBN de versión impresa son 9783031198489, 3031198484. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.