Tom Melham - Böcker

Visar alla böcker från författaren Tom Melham.
2 produkter
Joe Hurd, Tom Melham - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

Av Joe Hurd, Tom Melham

Häftad, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar
Tiziana Margaria, Tom Melham - Correct Hardware Design and Verification Methods, Häftad
Del 2144 - Lecture Notes in Computer Science

Correct Hardware Design and Verification Methods

Av Tiziana Margaria, Tom Melham

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar