Home › Books › Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering Buy on Amazon

https://www.ebooknetworking.net/books_detail-3642087590.html

Automated Theorem Proving in Software Engineering

AuthorJohann M. Schumann
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
95.15 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Johann M. Schumann
PublisherSpringer
ISBN / ASIN3642087590
ISBN-139783642087592
MarketplaceUnited States  🇺🇸

More Books by Johann M. Schumann

Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
View
Donate to EbookNetworking
Prev
Next