Vitalsource Technologies, Inc. Automated Theorem Proving In Software Engineering

• Stores
• Characteristics
• Springer Berlin Heidelberg
• Similar products

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Textbooks.com

+ Information about Textbooks.com

Sponsored Vitalsource Technologies, Inc. Automated Theorem Proving In Software Engineering

54.99 USD

Price updated on: 13-11-2024 21:16:52

View product deal

Identifiers
Dimensions / Weight
Key Features

Vitalsource Technologies, Inc. Interactive Theorem Proving

View Product

Vitalsource Technologies, Inc. Balanced Automation Systems For Future Manufacturing Networks

View Product

Vitalsource Technologies, Inc. Automating The Design Of Data Mining Algorithms

View Product

Vitalsource Technologies, Inc. Automated Technology For Verification And Analysis

View Product

Vitalsource Technologies, Inc. Isochronous Wireless Network For Real-time Communication In Industrial

View Product

Vitalsource Technologies, Inc. Intelligent Data Engineering And Automated Learning -- Ideal 2010

View Product

Vitalsource Technologies, Inc. Auditing And Grc Automation In Sap

View Product

Vitalsource Technologies, Inc. Practice And Theory Of Automated Timetabling Iii

View Product