Mark Aagaard - Böcker

Visar alla böcker från författaren Mark Aagaard.
1 produkt
Mark Aagaard, John Harrison, Mark D. Aagaard - Theorem Proving in Higher Order Logics, Häftad
Del 1869 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Mark Aagaard, John Harrison, Mark D. Aagaard

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar