Person Marieke HuismanHinweis: Der Name Marieke Huisman erscheint bei verschiedenen Verlagen. Es kann sich hierbei um die jeweils selbe Person oder auch um namensgleiche handeln.Marieke Huisman bei Springer International PublishingMarieke Huisman bei Springer Berlinletzte lieferbare Neuerscheinungen: Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingHardcover2023 Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingeBook2023 Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingHardcover2023 Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingeBook2023 Formal Techniques for Distributed Objects, Components, and Systems43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on DiSpringer International PublishingSoftcover2023 Formal Techniques for Distributed Objects, Components, and Systems43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on DiSpringer International PublishingeBook2023 Formal Methods for Industrial Critical Systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, ProceedingsSpringer International PublishingeBook2022 Formal Methods for Industrial Critical Systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, ProceedingsSpringer International PublishingSoftcover2022 Formal Methods24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, ProceedingsSpringer International PublishingSoftcover2021 Formal Methods24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, ProceedingsSpringer International PublishingeBook2021 Tools and Algorithms for the Construction and Analysis of Systems25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part ISpringer International PublishingSoftcover2019 Tools and Algorithms for the Construction and Analysis of Systems25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part ISpringer International PublishingeBook201922 Treffer 1 2 3