Zurücksetzen Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Bruce Henderson, Heidi Keller, Klau Schneider, Klaus Schneider - Curiosity and Exploration
Bruce Henderson, Heidi Keller, Klau Schneider, Klaus Schneider Curiosity and Exploration Englisch 16.11.2012 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems Englisch 22.10.2003 Fester Einband Fr. 69.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems Englisch 11.10.2010 Taschenbuch Fr. 70.00 6-7 Wochen