Verified Software Theories, Tools, Experiments

[book24h]

Free Download Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani, "Verified Software: Theories, Tools, Experiments"
English | 2010 | pages: 227 | ISBN: 364215056X | PDF | 2,4 mb
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.


Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me

            
                
                
                    
                   ⚠
                    A kód megtekintéséhez jelentkezz be.
					Please log in to view the code.
                
            
        

Links are Interchangeable - Single Extraction