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: 9783540301011

Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

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

Formal Methods for Components and Objects (2004) — ISBN 9783540301011 | Cutter Number