Suchergebnisse für "Ernst-Rüdiger Olderog/Bernhard Steffen"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Ernst-Rüdiger Olderog/Bernhard Steffen" gefunden.
Katalogsuche
Correct System Design
Recent Insights and Advances, Lecture Notes in Computer Science 1710
Ernst-Rüdiger Olderog/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, Lecture Notes in Computer Science 13030 - Theoretical Computer Science and General Issues
Ernst-Rüdiger Olderog/Bernhard Steffen/Wang Yi
Springer Verlag GmbH
69,54 €
(inklusive MwSt.)
Lieferbar
