Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters - Vladimir Herdt - Libros - Springer - 9783658126797 - 29 de marzo de 2016
En caso de que portada y título no coincidan, el título será el correcto

Vladimir Herdt
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters 1st ed. 2016 edition

Precio
Mex$ 949
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 24 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Vladimir Herdt

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

162 pages, 26 black & white illustrations, 13 black & white tables, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de marzo de 2016
ISBN13 9783658126797
Editores Springer
Páginas 162
Dimensiones 148 × 210 × 11 mm   ·   244 g
Lengua Alemán  

Mas por Vladimir Herdt

Mostrar todo

Más del mismo editor

Ver todo de Vladimir Herdt ( Ej. Hardcover Book y Paperback Book )