Verified Software Theories, Tools, Experiments

[ebooks1001]

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.


Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live

[To see links please register or login]

Links are Interchangeable - Single Extraction