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

729 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

709 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

879 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

729 kr

Skickas inom 10-15 vardagar

Modeling Companion for Software Practitioners

Av Egon Börger, Alexander Raschke m. fl

Häftad, Engelska, 2018

949 kr

Skickas inom 10-15 vardagar