Skip Navigation LinksHome : Book details 		 

 Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction free ebook download



Category:
Programming

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Views:  138
Likes:  271

Catalogue

Author(s): Benjamin Wei?
Date: 2011-02-08 Format: pdf Language: English ISBN/ASIN: 3866446233  
Pages: 292 OCR: Quality: ISBN13: 9783866446236  
Uploader: tvladb77 Upload Date: 4/21/2020 4:53:15 PM      
To download click on link in the Links Table below                                                                       

Description: Click to see full description


Links Table  
 TitleLinkPasswordSize (MB)Thank toInform Admin
2760242Bookhttps://nitroflare.com/view/D6A245373592...GetPremium2SupportMe12.96tvladb77

Tags: Abstraction Deductive Dynamic Frames Logic Object-Oriented Predicate Software Verification

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

Comments
New comment:              

  
(C) FreeBookSpot 2007 - 2024