Your search returned 23 results.

Not what you expected? Check for suggestions

Results
21.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Practice" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
22.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
23.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)