Skip Navigation LinksHome : Book details 		 

 Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24 27, 2023, Proceedings, Part I (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 I (Lecture Notes in Computer Science)
Views:  71
Likes:  5

Catalogue

Author(s): Etienne Andre
Date: 2024 Format: pdf Language: English ISBN/ASIN: 303145328X  
Pages: 464 OCR: Quality: ISBN13:  
Uploader: gestalt Upload Date: 4/17/2024 1:55:02 PM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
3255943Bookhttps://nitroflare.com/view/D519D5E5C575... 0.00gestalt

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