Markus Roggenbach
Artículos populares por Markus Roggenbach
Ver todas las ofertas-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Cerone, Antonio; Schlingloff, Bernd-Holger; Roggenbach, Markus
Precios de los artículos a partir de
Ver 33 ofertasEUR 37,11
-
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers: 1301 (Communications in Computer and...
Precios de los artículos a partir de
Ver 12 ofertasEUR 46,22
-
-
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain (SpringerBriefs in Computer Science)
Kumar, Apurva; Gruner, Stefan; Maibaum, Tom
Precios de los artículos a partir de
Ver 14 ofertasEUR 46,22
-
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday: 14165 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 10 ofertasEUR 51,45
