E Brinksma
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 (First Eef Summer School on Trends in Computer Science Berg en Dal, the Nether E Brinksma

Name: 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 (First Eef Summer School on Trends in Computer Science Berg en Dal, the Nether
Price: 55.99 USD
Availability: OutOfStock
Author: E Brinksma

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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 (First Eef Summer School on Trends in Computer Science Berg en Dal, the Nether

E Brinksma

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.

434 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	29 de agosto de 2001
ISBN13	9783540424796
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	434
Dimensiones	155 × 233 × 23 mm · 1,03 kg
Lengua	Alemán
Editor	Brinksma, Ed.
Editor	Hermanns, Holger
Editor	Katoen, Jost-pieter