Contacto
Como comprar
Entrega
Guia de compras
Lectures on Formal Methods and Performance Analysis
First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Inglês
111 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
31.55
€
Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present 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.
Sobre o livro
Inglês
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
17.59
€
/
Capa mole
20.42
€
/
Capa mole
14.86
€
/
Capa mole
68.98
€
/
Capa mole
12.13
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?