Detail Image
click to view more

Formal Methods Foundations and Applications 27th Brazilian Symposium SBMF 2024 Vit ria Brazil

by

$61.72

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

Description

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

Last updated on

Product Details

  • Springer Brand
  • Nov 29, 2024 Pub Date:
  • 3031781155 ISBN-10:
  • 9783031781155 ISBN-13:
  • English Language
  • 9.25 in * 0.51 in * 6.1 in Dimensions:
  • 1 lb Weight: