Markus Roggenbach
Articles populaires de Markus Roggenbach
Afficher toutes les offres-
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Prix des articles à partir de
Afficher les 33 offresEUR 37,11
-
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Prix des articles à partir de
Afficher les 12 offresEUR 46,22
-
-
-
On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain
Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus
Prix des articles à partir de
Afficher les 14 offresEUR 46,22
-
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Prix des articles à partir de
Afficher les 10 offresEUR 51,45
