Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Formal Methods: Foundations and Applications
- 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Engelsk Paperback

Formal Methods: Foundations and Applications

- 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Engelsk Paperback

471 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
153
ISBN-13:
9783031493416
Indbinding:
Paperback
Udgave:
ISBN-10:
3031493419
Udg. Dato:
2 dec 2023
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
2 dec 2023
Forfatter(e):
Finder produkter...
Kategori sammenhænge