Del 14414 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Häftad, Engelska, 2023
799 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2023-12-02
- Mått155 x 235 x 10 mm
- Vikt277 g
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor153
- FörlagSpringer International Publishing AG
- EAN9783031493416