Automated Theorem Proving in Software Engineering - Info and Reading Options
By Johann M. Schumann
"Automated Theorem Proving in Software Engineering" is published by Springer in August 9, 2001, it has 228 pages and the language of the book is English.
“Automated Theorem Proving in Software Engineering” Metadata:
- Title: ➤ Automated Theorem Proving in Software Engineering
- Author: Johann M. Schumann
- Language: English
- Number of Pages: 228
- Publisher: Springer
- Publish Date: August 9, 2001
“Automated Theorem Proving in Software Engineering” Subjects and Themes:
- Subjects: ➤ Démonstration automatique - Automatisches Beweisverfahren - Software engineering - Software Engineering - Automatic theorem proving - Théorèmes - Génie logiciel
Edition Specifications:
- Format: Hardcover
- Weight: 1 pounds
- Dimensions: 9.4 x 6.3 x 0.4 inches
Edition Identifiers:
- The Open Library ID: OL9063488M - OL9078329W
- Library of Congress Control Number (LCCN): 2001020538
- ISBN-13: 9783540679899
- ISBN-10: 3540679898
- All ISBNs: 3540679898 - 9783540679899
AI-generated Review of “Automated Theorem Proving in Software Engineering”:
Snippets and Summary:
The amount and complexity of software developed and used has grown tremendously during the past years.
Read “Automated Theorem Proving in Software Engineering”:
Read “Automated Theorem Proving in Software Engineering” by choosing from the options below.
Search for “Automated Theorem Proving in Software Engineering” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Automated Theorem Proving in Software Engineering" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
Find “Automated Theorem Proving in Software Engineering” in Libraries Near You:
Read or borrow “Automated Theorem Proving in Software Engineering” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automated Theorem Proving in Software Engineering” at a library near you.
Buy “Automated Theorem Proving in Software Engineering” online:
Shop for “Automated Theorem Proving in Software Engineering” on popular online marketplaces.
- Ebay: New and used books.