Número de Cutter-SanbornB523fEntrada «Bernardi» → 523 · marca de obra “f”

Formal Methods for Executable Software Models

Name: Formal Methods for Executable Software Models
ISBN: 9783319073170

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Edición de la obra Formal Methods for Executable Software Models

Autor	Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Formal Methods for Executable Software Models (2014) — ISBN 9783319073170 | Cutter Number