Alexander Raschke

Alexander Raschke

2 ספרים במאגר

ספרים

Rigorous State-Based MethodsAlexander Raschke

Rigorous State-Based Methods

Alexander Raschke · 2021

Logic, Computation and Rigorous MethodsAlexander Raschke

Logic, Computation and Rigorous Methods

Alexander Raschke · 2021

ספרים משותפים ואוספים

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

Modeling Companion for Software PractitionersEgon Börger

Modeling Companion for Software Practitioners

Egon Börger · 2018

Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler · 2016