Bernhard Steffen
Articles populaires de Bernhard Steffen
Afficher toutes les offres-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Steffen, Bernhard; Margaria, Tiziana
Prix des articles à partir de
Afficher les 11 offresEUR 3,99
-
Mathematical Foundations of Advanced Informatics: Inductive Approaches
Steffen, Bernhard; Rüthing, Oliver; Huth, Michael
Prix des articles à partir de
Afficher les 28 offresEUR 32,62
-
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Larsen, Kim G.; Steffen, Bernhard; Margaria, Tiziana; Cleaveland, W. Rance; Brinksma, Ed
Prix des articles à partir de
Afficher les 12 offresEUR 40,76
-
Grundlagen Der Höheren Informatik: Induktives Vorgehen
Steffen, Bernhard; Rüthing, Oliver; Isberner, Malte
Prix des articles à partir de
Afficher les 14 offresEUR 7,26
-
Tools and Algorithms for the Construction and Analysis of Systems
Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke
Prix des articles à partir de
Afficher les 24 offresEUR 49,04
-
Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text
Steffen, Bernhard
Prix des articles à partir de
Afficher les 7 offresEUR 16,07
-
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Steffen, Bernhard; R¿¿ckert, Roland; Margaria, Tiziana; Posegga, Joachim
Prix des articles à partir de
Afficher les 21 offresEUR 52,63
-
Correct System Design: Recent Insights and Advances
Steffen, Bernhard; Olderog, Ernst-R??diger
Prix des articles à partir de
Afficher les 16 offresEUR 61,59
Affichage de 8 sur 41 livres