Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - Tapa blanda

Seiter, Julia; Wille, Robert; Drechsler, Rolf

 
9783319414812: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Tapa blanda
ISBN 10: 331941481X ISBN 13: 9783319414812
Editorial: Springer, 2016

Esta edición ISBN ya no está disponible.

Sinopsis

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.-  Summary and Conclusions.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
331941481X
ISBN 13 
9783319414812
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783319414799: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Edición Destacada

ISBN 10:  3319414798 ISBN 13:  9783319414799
Editorial: Springer, 2016
Tapa blanda