Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Formal Methods: Foundations and Applications
- 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4–6, 2024, Proceedings
Engelsk
Bogcover for Formal Methods: Foundations and Applications af , 9783031781155
Specifikationer
Sprog:
Engelsk
Sider:
205
ISBN-13:
9783031781155
Indbinding:
Paperback
ISBN-10:
3031781155
Udg. Dato:
29 nov 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 nov 2024

Formal Methods: Foundations and Applications

- 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4–6, 2024, Proceedings
Engelsk
Paperback 2024
Format:

Bog beskrivelse

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 4–6, 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.

... Vis mere

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

Specifikationer
Sprog:
Engelsk
Sider:
205
ISBN-13:
9783031781155
Indbinding:
Paperback
ISBN-10:
3031781155
Udg. Dato:
29 nov 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 nov 2024
Finder produkter...
Kategori sammenhænge