Formal Methods for Software Architectures
3,9
per Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
-
IVA inclòs
- Enviament Gratis
- Devolució gratuïta 30 dies
Última unitat!5 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: Marco Bernardo, Paola Inverardi
ISBN: 9783540200833
Editorial: Springer
Idioma: Anglès
Format: tapa blanda
Publicació: 12/9/2003
Pàgines: 296 pàg
Dimensions: 23.5 x 15.5 x 1.7 cm
Pes: 227 g
Categoria: Enginyeria del programari
Sinopsi de Formal Methods for Software Architectures
«Formal Methods for Software Architectures» és el volum de conferències editat per Marco Bernardo i Paola Inverardi, en tapa tova, publicat per Springer.
L'arquitectura de programari s'ha convertit en central en el desenvolupament de sistemes complexos, aplicant-se des de l'anàlisi de requisits fins a l'execució. Aquest volum reuneix conferències tutorials sobre mètodes formals: modelatge i anàlisi de components i connectors, assemblatge correcte, evolució, computació mòbil, rendiment i dependabilitat.
Volum 2804 de la sèrie Lecture Notes in Computer Science. Correspon a la Tercera Escola Internacional SFM 2003, celebrada a Bertinoro (Itàlia) el setembre de 2003.
Pensat per a estudiants de cursos avançats d'arquitectura de programari i per a enginyers que utilitzen tècniques formals en la seva feina diària.
Més títols per a qui ha llegit Formal Methods for Software Architectures de Marco Bernardo
Recomanat per Julia
Llibres més venuts de Enginyeria del programari
Més venuts
