• In bulk kopen Wordt geopend in nieuw venster
  • Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Programming with Higher-Order Logic 9780521879408

Programming with Higher-Order Logic

  • Auteur(s) Dale Miller; Gopalan Nadathur
  • Uitgever Gepubliceerd door Cambridge University Press
  • "ISBN-13 9780521879408"
  • Indeling Vaste lay-out

eBook

Licentie eTextbook
‌
€46.83 EUR
‌‌
‌

  • Studietools

    Ingebouwde studiehulpmiddelen zoals markeringen en meer

  • Hardop voorlezen

    Luister en lees mee terwijl Bookshelf voorleest

  • Offline toegang

    Altijd en overal toegang tot je eTextbook

  • Algemene zoekfunctie

    Doorzoek de boekinhoud, illustraties en je werkmap

Meer informatie

Programming with Higher-Order Logic is geschreven door Dale Miller; Gopalan Nadathur en gepubliceerd door Cambridge University Press. De digitale en eTextbook-ISBN's voor Programming with Higher-Order Logic zijn 9781139512121, 1139512129 en de ISBN's voor gedrukt materiaal zijn 9780521879408, 052187940X. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource. Aanvullende ISBN's voor dit eTextbook zijn 9781280775086, 9781139518420, 9781139516570.

Terug naar boven