|
|

avaa valikko

Tom Melham | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,
Hurd, Joe; Melham, Tom
Springer
2005
Pehmeäkantinen kirja
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,10 €
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001
Margaria, Tiziana; Melham, Tom
Springer
2001
Pehmeäkantinen kirja
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,10 €