Detail Image
click to view more

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, D

by

$57.00

List Price: $59.99
Save: $2.99 (4%)
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

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.

The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Last updated on

Product Details

  • Dec 2, 2023 Pub Date:
  • 3031493419 ISBN-10:
  • 9783031493416 ISBN-13:
  • English Language