Número de Cutter-SanbornB858lEntrada «Brin» → 858 · marca de obra “l”

Lectures on Formal Methods and Performance Analysis

Name: Lectures on Formal Methods and Performance Analysis
ISBN: 9783540446675

First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

Autor	Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Editorial	Springer London, Limited
Fecha de publicación	2003
Idioma	inglés
Páginas	434
ISBN-13	9783540446675
Número de Cutter	`B858l`

Lectures on Formal Methods and Performance Analysis (2003) — ISBN 9783540446675 | Cutter Number