a formal definition of jml in coq (en Inglés)
lehner, hermann
·
s dwestdeutscher verlag f r hochschulschrifte
S/ 349,85
Ver Precio
Envío a todo Perú
Reseña del libro
Opiniones del Libro
Opiniones sobre Buscalibre
{{ nombre_cliente }}
"{{ opinion }}"
Ver más opiniones de clientes