Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures - Lecture - Marco Bernardo - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540200833 - 12 september 2003
Om omslag och titel inte matchar är det titeln som gäller

Marco Bernardo
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures - Lecture

Pris
SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Marc Notes: Includes bibl. ref. & index; Conf. papers ... 2003. Table of Contents: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.- From System Goals to Software Architecture.- Software Architecture Modeling & Analysis: A Rigorous Approach.- The Application of Dependence Analysis to Software Architecture Descriptions.- Validating Distributed Object and Component Designs.- Software Architecture for Correct Components Assembly.- Formal Methods in Testing Software Architectures.- Architecture Based Evolution of Software Systems.- Software Architecture for Mobile Computing.- Performance Evaluation at the Software Architecture Level.- Software Architecture and Dependability.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 12 september 2003
ISBN13 9783540200833
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 289
Mått 156 × 234 × 16 mm   ·   435 g
Språk Tyska  
Redaktör Bernardo, Marco
Redaktör Inverardi, Paola

Fler produkter med Marco Bernardo

Visa alla

Se alt med Marco Bernardo ( t.ex. Pocketbok , CD och Bok )