Skip Navigation LinksHome : Book details
 

 Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 1923, 2020, Proceedings free ebook download



Category:
Programming

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 1923, 2020, Proceedings
Views:  167
Likes:  126

Catalogue

Author(s): Dang Van Hung, Oleg Sokolsky
Date: 2020-12-02 Format: pdf Language: English ISBN/ASIN: 3030591514  
Pages: 534 OCR: Quality: ISBN13:  
Uploader: alex21s Upload Date: 10/15/2020 10:09:53 AM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
2885106Bookhttps://nitroflare.com/view/1E21C28B137A... 19.16alex21s

Tags: Analysis ATVA Automated Hanoi International October Proceedings Symposium Technology Verification

Title Link Password Size Reason
 
Those who downloaded this book also downloaded the following books:

Comments
New comment:              

  
(C) FreeBookSpot 2007 - 2024