Reihe Texts in Theoretical Computer Science. An EATCS SeriesMarkus Roggenbach × Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingSoftcover202358,84 € Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingHardcover202280,24 € Formal Methods for Software EngineeringLanguages, Methods, Application DomainsMarkus RoggenbachSpringer International PublishingeBook202258,84 €