Alexander Raschke – författare
Visar alla böcker från författaren Alexander Raschke.
6 produkter
6 produkter
Del 12071 - Lecture Notes in Computer Science
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 12750 - Lecture Notes in Computer Science
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Häftad, Engelska, 2021
739 kr
Skickas inom 10-15 vardagar
Del 12709 - Lecture Notes in Computer Science
Rigorous State-Based Methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Häftad, Engelska, 2021
879 kr
Skickas inom 10-15 vardagar
- Nyhet
Del 16580 - Lecture Notes in Computer Science
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Häftad, Engelska, 2026
959 kr
Skickas inom 5-8 vardagar
Del 10817 - Lecture Notes in Computer Science
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Häftad, Engelska, 2018
739 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2018
949 kr
Skickas inom 10-15 vardagar