Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science - Couverture souple

 
9783540424796: Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science

Synopsis

Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.