9781024208504 - a hierarchical technique for mechanical theorem proving and its application to programming language design von rubin, norman (7 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (7)

  • Neu (7)

bis

Benutzerdefinierte Preisspanne (EUR)

bis