 |
Model Checking (2nd ed.) by Edmund M. Clarke, Jr. & Grumberg, Orna & Kroening, Daniel & Peled, Doron & Veith, Helmut15 mar, 2024 Tags=[COMPUTERS, computer science, CBMC, satisfiability] Amazon=[0262038838] Formats=[EPUB] Google=[OJV5DwAAQBAJ] ISBN=[9780262038836] LCN=[QA76.76.V47 C553 2018] OCLC=[1176304629] Year=[2018] Words=[145,576]
|