Mark D. Aagaard - Böcker

Visar alla böcker från författaren Mark D. Aagaard.
2 produkter
Mark D. Aagaard, John W. O'Leary - Formal Methods in Computer-Aided Design, Häftad
Del 2517 - Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design

Av Mark D. Aagaard, John W. O'Leary

Häftad, Engelska, 2002

719 kr

Skickas inom 7-10 vardagar
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

739 kr

Skickas inom 7-10 vardagar