Alexander Raschke - Böcker

Visar alla böcker från författaren Alexander Raschke.

5 produkter

Kategorier

5 produkter

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Av Alexander Raschke, Dominique Méry m. fl

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Logic, Computation and Rigorous Methods

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Av Alexander Raschke, Elvinia Riccobene m. fl

Häftad, Engelska, 2021

719 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Av Alexander Raschke, Dominique Méry m. fl

Häftad, Engelska, 2021

889 kr

Skickas inom 10-15 vardagar

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

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Av Michael Butler, Alexander Raschke m. fl

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Modeling Companion for Software Practitioners

Av Egon Börger, Alexander Raschke m. fl

Häftad, Engelska, 2018

959 kr

Skickas inom 10-15 vardagar