Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation. Practice son 9783031197628, 3031197623 y los ISBN de versión impresa son 9783031197611, 3031197615. 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. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation. Practice son 9783031197628, 3031197623 y los ISBN de versión impresa son 9783031197611, 3031197615. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.