Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Formal Methods: Foundations and Applications | 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings | Haniel Barbosa (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2023 | Springer | EAN 9783031493416 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.