0030 Download Verification, model checking, and abstract interpretation A2W; Epud; FB2; LIT; LRF; MOBI; PDB; PDF; TCR; DOC; HTML; PPT; RTF; TXT; XLSX; ODT; …
Verification, model checking, and abstract interpretation
Title: Verification, model checking, and abstract interpretation
Author : Dirk Beyer;Damien Zufferey
Publishing year: 2020
Publishing company: Springer
Key word:
Number of pages: 484 tr.
Read the book
Book description
Thank you for your interest in us: Download full version at blogtailieu.com
verification-model-checking-and-abstract-interpretation-342638
Brief_230076_20210603150822_20201221135812-VerificationModelCheckingandAbstractInterpretation
Book PDF: Verification, model checking, and abstract interpretation 342638