Artículos relacionados a Formal Hardware Verification: Methods and Systems in...

Formal Hardware Verification: Methods and Systems in Comparison - Tapa blanda

 
9783662174937: Formal Hardware Verification: Methods and Systems in Comparison
Tapa blanda
ISBN 10: 3662174936 ISBN 13: 9783662174937
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.

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

  • EditorialSpringer
  • Año de publicación2014
  • ISBN 10 3662174936
  • ISBN 13 9783662174937
  • 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

9783540634751: Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540634754 ISBN 13:  9783540634751
Editorial: Springer Berlin Heidelberg, 2008
Tapa dura