We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

By Yoni Zohar

part of the Lecture Notes in Computer Science series

Formal Methods: Foundations and Applications by Yoni Zohar Save 14% from RPP Save 14%
About Formal Methods: Foundations and Applications

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783031493416
  • Binding:
  • Paperback
  • Pages:
  • 176
  • Published:
  • December 1, 2023
  • Edition:
  • 23001
  • Dimensions:
  • 155x10x235 mm.
  • Weight:
  • 277 g.
Delivery: 2-4 weeks
Expected delivery: December 15, 2024

About Yoni Zohar

View all books by Yoni Zohar

Description of Formal Methods: Foundations and Applications

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.

User ratings of Formal Methods: Foundations and Applications



Others also bought..
Find similar books
The book Formal Methods: Foundations and Applications can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.