Reihe Texts in Computer ScienceMarieke Huisman × 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 €
