Melham, Tom · T. M · T Melham · Tom Melham Joe Hurd
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... Notes in Computer Science, Band 2144) | 978-3-540-42541-0 (3-540-42541-1) | 2008 | Tiziana Margaria |
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | 978-3-540-28372-0 (3-540-28372-2) | 2008 | Joe Hurd |