Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 46, 2024, Proceedings | Agenda Bookshop Skip to content
LAST CHANCE! Order items marked '10-20 working days' TODAY to get them in time for Christmas!
LAST CHANCE! Order items marked '10-20 working days' TODAY to get them in time for Christmas!
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Ciprian Teodorov
B01=Sidney C. Nogueira
Category1=Non-Fiction
Category=UKN
Category=UMZ
Category=UYA
Category=UYQ
Category=UYQE
Category=UYQL
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€50 to €100
PS=Forthcoming
softlaunch

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 46, 2024, Proceedings

English

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 46, 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.

See more
Current price €59.84
Original price €62.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Ciprian TeodorovB01=Sidney C. NogueiraCategory1=Non-FictionCategory=UKNCategory=UMZCategory=UYACategory=UYQCategory=UYQECategory=UYQLCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€50 to €100PS=Forthcomingsoftlaunch

Will deliver when available. Publication date 26 Dec 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 26 Dec 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031781155

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept