Hoppa till sidans huvudinnehåll

Alexander Raschke - Böcker

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

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Méry m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Logic, Computation and Rigorous Methods

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

AvAlexander Raschke,Elvinia Riccobene m. fl.

Häftad, Engelska, 2021

689 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

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

AvAlexander Raschke,Dominique Méry m. fl.

Häftad, Engelska, 2021

849 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

AvMichael Butler,Alexander Raschke m. fl.

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Modeling Companion for Software Practitioners

AvEgon Börger,Alexander Raschke m. fl.

Häftad, Engelska, 2018

929 kr

Skickas inom 10-15 vardagar