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
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
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
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science . Approx. 400 p. Intended for professional and scholarly audience.
