Tom Melham ![]() |
| Sortierung: Titel - Veröffentlichung | ||
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
| Herausgeber von: | ||
![]() | Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, Septem (Buch) Sprache: English Veröffentlichung: August 2001 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
![]() | Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Buch) Sprache: English Veröffentlichung: August 2005 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
| Seite 1 von 1 | ||
Newsfeed |