Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Rigorous State-Based Methods | 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030480769 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Logic, Computation and Rigorous Methods | Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2021 | Springer | EAN 9783030760199 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Abstract State Machines, Alloy, B, TLA, VDM, and Z | 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings | Michael Butler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2018 | Springer | EAN 9783319912707 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Rigorous State-Based Methods | 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2021 | Springer | EAN 9783030775421 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.