Detail Image
click to view more

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati

by

$75.90

List Price: $79.99
Save: $4.09 (5%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Wednesday, July 23, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Last updated on

Product Details

  • Springer Brand
  • Oct 30, 2024 Pub Date:
  • 3031753798 ISBN-10:
  • 9783031753794 ISBN-13:
  • English Language
  • 9.25 in * 0.95 in * 6.1 in Dimensions:
  • 1 lb Weight: