Formal Aspects of Component Software
3,8
per Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
-
IVA inclòs
- Enviament Gratis
- Devolució gratuïta 30 dies
Última unitat!4 persones el tenen al carret
Mètodes de pagament disponibles
Més de 2 milions de productes venuts
I més de 800.000 títols en estoc
Ofertes disponibles per estat
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
Detalls del producte
Autor: Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Editorial: Springer
Idioma: Anglès
Format: tapa blanda
Publicació: 17/10/2024
Pàgines: 138 pàg
Dimensions: 23.4 x 15.6 x 0.9 cm
Pes: 245 g
Categoria: Enginyeria del programari
Sinopsi de Formal Aspects of Component Software
«Formal Aspects of Component Software» és el llibre d'actes de la conferència FACS 2024, editat per Diego Marmsoler i Meng Sun (Springer, tapa tova).
El volum reuneix els treballs seleccionats de la vintena edició de la conferència, centrats en l'anàlisi formal del programari de components. Els vuit textos tracten sobre verificació i proves, models formals i seguretat amb blockchain, i mostren enfocaments actuals per al disseny i la composició de sistemes de programari.
Volum 15189 de Lecture Notes in Computer Science; actes de la 20a Conferència Internacional FACS 2024, celebrada a Milà el 9 i 10 de setembre de 2024.
Per a investigadors i professionals que treballen amb mètodes formals, verificació de programari i seguretat en blockchain.
Més títols per a qui ha llegit Formal Aspects of Component Software de Diego Marmsoler
Recomanat per Julia
Llibres més venuts de Enginyeria del programari
Més venuts
