Programming with Higher-Order Logic

Professor Dale Miller, Gopalan Nadathur (Autoren)

322 Seiten

2014
Cambridge University Press (Hersteller)
9781139518420 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 14.5.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Informatik ► Software Entwicklung ► Objektorientierung
• ISBN-13: 9781139518420 / 9781139518420
• Zustand: Neuware