Raschke, Alexander books & textbook
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique Houdek, Frank
Springer /2020-05-15 Paperback / 440 Pages
isbn-10: 3030480763 / isbn-13: 9783030480769
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Programming and Software Engineering)
Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter
Springer /2021-06-04 Paperback / 372 Pages
isbn-10: 3030760197 / isbn-13: 9783030760199
Federlegierungen aus NE-Metallen: Übersetzung aus dem Russischen (German Edition)
Pastuchova, Zanna P. Rachstadt, Alexander G. Raschke, Manfred
Springer /2012-02-12 Paperback / 336 Pages
isbn-10: 3709195292 / isbn-13: 9783709195291
Modeling Companion for Software Practitioners
Börger, Egon Raschke, Alexander
Springer /2018-04-10 Paperback / 370 Pages
isbn-10: 3662566397 / isbn-13: 9783662566398
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Theoretical Computer Science and General Issues)
Butler, Michael Raschke, Alexander Hoang, Thai Son Reichl, Klaus
Springer /2018-05-08 Paperback / 446 Pages
isbn-10: 3319912704 / isbn-13: 9783319912707
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Raschke, Alexander Méry, Dominique
Springer /2021-05-23 Paperback / 180 Pages
isbn-10: 3030775429 / isbn-13: 9783030775421
