El libro está agotado actualmente
Parámetros
Compra de libros
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Idioma
- Publicado en
- 1993
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.