Todos4 Bernhard Steffen-Tiziana Margaria lançamentos em P...
Categorias
Outro
Atendimento ao cliente
EUR
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III - Lecture Notes in Computer Science (Paperback Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/794/9783031753794.jpg?bernhard-steffen-tiziana-margaria-2024-leveraging-applications-of-formal-methods-verification-and-validation-specification-and-verification-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceedings-part-iii-lecture-notes-in-comput&class=scaled&v=1733843469)
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/489/9783031198489.jpg?bernhard-steffen-tiziana-margaria-2022-leveraging-applications-of-formal-methods-verification-and-validation-verification-principles-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-i-lecture-notes-in-computer-scien&class=scaled&v=1750046107)
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/581/9783031197581.jpg?bernhard-steffen-tiziana-margaria-2022-leveraging-applications-of-formal-methods-verification-and-validation-adaptation-and-learning-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-iii-lecture-notes-in-computer-sci&class=scaled&v=1750121250)
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/611/9783031197611.jpg?bernhard-steffen-tiziana-margaria-2022-leveraging-applications-of-formal-methods-verification-and-validation-practice-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-iv-lecture-notes-in-computer-science-paperback-b&class=scaled&v=1749751525)