Skip Navigation LinksHome : Book details 		 

 Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2 free ebook download



Category:
Computer Science

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2
Views:  62
Likes:  157

Catalogue

Author(s): Armin Biere, David Parker
Date: 2020-06-27 Format: pdf Language: English ISBN/ASIN: 3030452360  
Pages: 422 OCR: Quality: ISBN13:  
Uploader: maveriks Upload Date: 4/18/2020 7:21:49 AM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
2757647Bookhttps://nitroflare.com/view/8F65E509F778... 9.77maveriks

Tags: Algorithms Analysis Conference Conferences Construction Etaps European Held International Joint

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

  
(C) FreeBookSpot 2007 - 2024