Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 1st Edición

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II 1st Edición está escrito por iziana Margaria; Bernhard Steffen y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles son 9783030614706, 3030614700 y los ISBN de versión impresa son 9783030614690, 3030614697. 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: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II 1st Edición está escrito por iziana Margaria; Bernhard Steffen y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles son 9783030614706, 3030614700 y los ISBN de versión impresa son 9783030614690, 3030614697. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.