Pensum -10%Concise Guide to Software VerificationAnton Wijs, Marieke HuismanInnbundetEngelskDel av serien Texts in Computer ScienceLegg i handlekurvUtsolgt