El libro está agotado actualmente
Compra de libros
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taiwe
- Idioma
- Publicado en
- 1999
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.