Artículos relacionados a Automatic Methods for the Refinement of System Models:...

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

 
9783319414812: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

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.

  • EditorialSpringer
  • Año de publicación2016
  • ISBN 10 331941481X
  • ISBN 13 9783319414812
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

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