Person Anton WijsAnton Wijs bei Springer International Publishingletzte lieferbare Neuerscheinungen: Integrated Formal Methods18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, ProceedingsSpringer International PublishingSoftcover2023 Integrated Formal Methods18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, ProceedingsSpringer International PublishingeBook2023 Integrated Formal Methods18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, ProceedingsSpringer International PublishingSoftcover2023 Integrated Formal Methods18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, ProceedingsSpringer 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 Aspects of Component Software17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, ProceedingsSpringer International PublishingSoftcover2021 Formal Aspects of Component Software17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, ProceedingsSpringer International PublishingeBook2021 Model Checking Software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, ProceeSpringer International PublishingSoftcover2016 Model Checking Software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, ProceeSpringer International PublishingeBook2016