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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

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

Mere med samme udgiver

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