Skip Navigation LinksHome : Book details 		 

 Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24 27, 2023, Proceedings, Part II (Lecture Notes in Computer Science) free ebook download



Category:
Computer Science

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24 27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
Views:  25
Likes:  0

Catalogue

Author(s): Etienne Andre
Date: 2024 Format: pdf Language: English ISBN/ASIN: 303145331X  
Pages: 348 OCR: Quality: ISBN13:  
Uploader: alex21s Upload Date: 4/16/2024 9:37:09 AM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
3255830Bookhttps://nitroflare.com/view/6BBB3C732778... 0.00alex21s

Tags: 21st Analysis ATVA Automated International October Singapore 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