Alexander Raschke - Böcker
Visar alla böcker från författaren Alexander Raschke.
5 produkter
5 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
709 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
689 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
849 kr
Skickas inom 10-15 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
709 kr
Skickas inom 10-15 vardagar
919 kr
Skickas inom 10-15 vardagar