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
Bogcover for Formal Methods: Foundations and Applications af , 9783031493416
Specifikationer
Sprog:
Engelsk
Sider:
153
ISBN-13:
9783031493416
Indbinding:
Paperback
ISBN-10:
3031493419
Udg. Dato:
2 dec 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
2 dec 2023

Formal Methods: Foundations and Applications

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

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
582,49 kr
Hos Booktok
453 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
153
ISBN-13:
9783031493416
Indbinding:
Paperback
ISBN-10:
3031493419
Udg. Dato:
2 dec 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
2 dec 2023
Finder produkter...
Kategori sammenhænge