Rigorous Software Development - An Introduction to Program Verification Second Edition ~Get Your Files Here !/978-1-4471-7558-2.epub { copied = true; setTimeout(() => copied = false, 2000); }); } else { const ta = Object.assign(document.createElement('textarea'), { value: txt }); Object.assign(ta.style, { position:'fixed', opacity:'0' }); document.body.appendChild(ta); ta.select(); document.execCommand('copy'); ta.remove(); copied = true; setTimeout(() => copied = false, 2000); } " :title="copied ? 'Copied!' : 'Copy magnet link'" data-magnet="magnet:?xt=urn:btih:0032F54D89EA97F5C03776D13D9C02EB777D6E1E&dn=Rigorous%20Software%20Development%20-%20An%20Introduction%20to%20Program%20Verification%20Second%20Edition"> Sign up to create lists Report Rigorous Software Development - An Introduction to Program Verification Second Edition Thank you for your report. Close Reason for reporting: Select a reason Malware / Virus Fake / Misleading Content Low Quality / Broken Files Spam / Advertising / Scam Offensive / Illegal Content Submit Report 2 4 28.96 MB eBook Unverified 0.40 Title: Rigorous Software Development Group: NOGRP