Resettare Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Bruce Henderson, Heidi Keller, Klau Schneider, Klaus Schneider - Curiosity and Exploration
Bruce Henderson, Heidi Keller, Klau Schneider, Klaus Schneider Curiosity and Exploration Inglese 16.11.2012 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems Inglese 22.10.2003 Copertina rigida Fr. 69.00 2-3 settimane (il titolo viene stampato sull'ordine)
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane