9780387237596 - adapting proofs-as-programs: the curry--howard protocol (monographs in computer science) de poernomo, iman; crossley, john n.; wirsing, martin (18 resultados)

ISBN

Filtrar la búsqueda

  • Libros (18)

a

Intervalo de precios personalizado (EUR)

a