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

ISBN

Optimieren Sie Ihre Suche

  • Bücher (5)

bis

Benutzerdefinierte Preisspanne (EUR)

bis