Markus Roggenbach

ספרים שבהם Markus Roggenbach מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Applicable Formal Methods for Safe Industrial ProductsAnne E. Haxthausen

Applicable Formal Methods for Safe Industrial Products

Anne E. Haxthausen · 2023

Recent Trends in Algebraic Development TechniquesPhillip James

Recent Trends in Algebraic Development Techniques

Phillip James · 2021

Formal Methods - Fun for EverybodyAntonio Cerone

Formal Methods - Fun for Everybody

Antonio Cerone · 2021

On the Construction of Engineering HandbooksStefan Gruner

On the Construction of Engineering Handbooks

Stefan Gruner · 2020