Bookbot

Symbolic methods applied to formal verification and synthesis in embedded systems design

Parámetros

  • 158 páginas
  • 6 horas de lectura

Compra de libros

Symbolic methods applied to formal verification and synthesis in embedded systems design, Karsten Strehl

Idioma
Publicado en
2000
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña