Reihe Texts in Computer ScienceMarieke Huisman ×Springer International Publishing × Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingSoftcover202464,19 € Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingHardcover202385,59 € Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingMarieke HuismanSpringer International PublishingeBook202364,19 €
