Tom Melham – författare
Visar alla böcker från författaren Tom Melham. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Häftad, Engelska, 2005
719 kr
Skickas inom 10-15 vardagar
Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Häftad, Engelska, 2001
719 kr
Skickas inom 10-15 vardagar