Automated Theorem Proving in Software Engineering

Name: Automated Theorem Proving in Software Engineering
Author: Johann M. Schumann
ISBN: 9783642087592

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

95.15 USD

Book Details

ISBN / ASIN3642087590

ISBN-139783642087592

MarketplaceUnited States 🇺🇸