Número de Cutter-SanbornB414fEntrada «Bee» → 414 · marca de obra “f”

From Software Engineering to Formal Methods and Tools, and Back

Name: From Software Engineering to Formal Methods and Tools, and Back
ISBN: 9783030309848

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Páginas
Autor	Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Editorial	Springer
Fecha de publicación	Sep 14, 2019

From Software Engineering to Formal Methods and Tools, and Back (2019) — ISBN 978303030984 | Cutter Number