Número de Cutter-SanbornS462aEntrada «Seis» → 462 · marca de obra “a”

Automatic Methods for the Refinement of System Models

Name: Automatic Methods for the Refinement of System Models
ISBN: 9783319414805

From the Specification to the Implementation

Autor	Julia Seiter, Robert Wille, Rolf Drechsler
Editorial	Springer London, Limited
Fecha de publicación	2016
Idioma	inglés
ISBN-13	9783319414805
Número de Cutter	`S462a`

Automatic Methods for the Refinement of System Models (2016) — ISBN 9783319414805 | Cutter Number