Número de Cutter-SanbornB672fEntrada «Boer» → 672 · marca de obra “f”

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
ISBN: 9783540319399

Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures

Autor	Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Editorial	Springer London, Limited
Fecha de publicación	2005
Idioma	inglés
ISBN-13	9783540319399
Número de Cutter	`B672f`

Formal Methods for Components and Objects (2005) — ISBN 9783540319399 | Cutter Number