1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

by Haniel Barbosa and Yoni Zohar
Epub (Kobo), Epub (Adobe)
Publication Date: 01/12/2023
Be the first to write a review

Share This eBook:

  $81.99
Add to List

This item is delivered digitally

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.

ISBN:
9783031493423
9783031493423
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
01-12-2023
Language:
English
Publisher:
Springer Nature Switzerland

This item is delivered digitally

You can find this item in:

Computer programming / software development Audio processing Artificial intelligence Computer networking & communications Computer architecture & logic design Computer science
Show more Show less

Reviews

Be the first to review Formal Methods: Foundations and Applications.