a formal definition of jml in coq (en Inglés)
lehner, hermann
a formal definition of jml in coq (en Inglés)
Lehner, Hermann (Autor) · s dwestdeutscher verlag f r hochschulschrifte · Libro Físico
$ 121.000
$ 201.670
Ahorras: $ 80.670
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listasa formal definition of jml in coq (en Inglés)
lehner, hermann
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
