Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Michel Parigot, Andrei Voronkov - Logic for Programming and Automated Reasoning
Michel Parigot, Andrei Voronkov Logic for Programming and Automated Reasoning Inglese 19.02.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Meyyappan Ramanathan, Srikant Vijayaraghavan, Srikanth Vijayaraghavan - A Practical Guide for SystemVerilog Assertions
Meyyappan Ramanathan, Srikant Vijayaraghavan, Srikanth Vijayaraghavan A Practical Guide for SystemVerilog Assertions Inglese 01.01.2005 Copertina rigida Fr. 235.20 3-5 settimane (il titolo viene procurato in modo speciale)
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont - Logic and Complexity
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont Logic and Complexity Inglese 29.01.2004 Copertina rigida Fr. 207.00 6-7 settimane