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

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

Fecha de publicación
Autor	Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Editorial	Springer

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