کارت اعتباری کتاب دانلود با 5,000,000 اعتبار دانلود کتاب! کلیک کنید
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman; Anton Wijs, 9783031301674, 9783031301667
English | 2023 | EPUB, Converted PDF