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 - Paperback - 2001
Resumo
The 11 chapters in this book present the state-of-the-art of research and tool development for the promising integrated approach towards modelling and analysis of functional and performance aspects of reactive systems.
Year of publication: 2001
Pagination: 434 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen
Year of publication: 2001
Pagination: 434 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen
Lectures on Formal Methods and Performance Analysis - First...
Resumo
The 11 chapters in this book present the state-of-the-art of research and tool development for the promising integrated approach towards modelling and analysis of functional and performance aspects of reactive systems.
Year of publication: 2001
Pagination: 434 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen
Year of publication: 2001
Pagination: 434 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen
Publicidade
Avaliações dos nossos clientes
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 - Paperback - 2001
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
233 x 155 x 23
- Peso
-
624
- Tema
-
Maintenance & repairs|Software Engineering
- Origem
-
Germany
- EAN
-
9783540424796
Publicidade
Publicidade