Publisher: Springer; 1st ed. 2016 edition (October 3, 2016)
Format: PDF / Kindle / ePub
Size: 9.7 MB
Downloadable formats: PDF
This e-book constitutes the refereed court cases of the twenty third overseas Static research Symposium, SAS 2016, held in Edinburgh, united kingdom, in September 2016. The 21 papers awarded during this quantity have been rigorously reviewed and chosen from fifty five submissions. The contributions hide quite a few multi-disciplinary issues in summary domain names; summary interpretation; summary trying out; computer virus detection; information movement research; version checking; new functions; software transformation; application verification; defense research; theoretical frameworks; and sort checking.