Programmieren mit Logik höherer Ordnung von Dale Miller (Englisch) Hardcover Buch
109,63 €
Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the Ecole Polytechnique, France.
Jetzt bei Ebay:
