Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Frankfurt, Germany, October 1995. Proceedings - Lecture Notes in Computer Science - Paolo Enrico Camurati - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540603856 - 18 de septiembre de 1995
En caso de que portada y título no coincidan, el título será el correcto

Paolo Enrico Camurati
Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Frankfurt, Germany, October 1995. Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 1.145
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 26 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Paolo Enrico Camurati

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

The proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies. This volume covers model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment and VHDL.

356 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de septiembre de 1995
ISBN13 9783540603856
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 356
Dimensiones 155 × 233 × 18 mm   ·   503 g
Lengua Alemán  
Editor Camurati, Paolo
Editor Eveking, Hans

Más del mismo editor

Ver todo de Paolo Enrico Camurati ( Ej. Paperback Book )