Login       My Wishlist
  My Cart
$0.00 / 0 items
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Business & Money   Processes & Infrastructure   Information Management

Automated Theorem Proving in Software Engineering

On Sale Now! Save 2% on the Automated Theorem Proving in Software Engineering by Springer at Translate This Website. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software

Product Description

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Additional Information

Part Number:1
Item Weight:1.04 pounds
Item Size:0.63 x 9.21 x 9.21 inches
Package Weight:1.04 pounds
Package Size:6.42 x 0.76 x 0.76 inches

Automated Theorem Proving in Software Engineering by Springer

Buy Now:
Automated Theorem Proving in Software Engineering

Brand: Springer
4.1 out of 5 stars with 282 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
You Save: 2%




Have questions about this item, or would like to inquire about a custom or bulk order?

If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

Service Oriented Enterprises
By Brand: Auerbach Publications
ean: 9780849353604, isbn: 0849353602,
Extending beyond the technical architecture to the very philosophy of how a business should operate, the Service Orientation approach establishes fluidity across boundaries to provide agility, transparency, and fundamental competitive advantage. Serv...

Finding the Concept, Not Just the Word: A Librarian’s Guide to Ontologies and Semantics (Chandos Information Professional Series)
By Chandos Publishing
mpn: black & white illustrations, black & whi, ean: 9781843343189, isbn: 1843343185,
Aimed at students and professionals within Library and Information Services (LIS), this book is about the power and potential of ontologies to enhance the electronic search process. The book will compare search strategies and results in the current s...

Designing Quality Databases With IDEF1X Information Models
By Dorset House
ean: 9780932633187, isbn: 0932633188,

Systems Analysis and Design, Fifth Edition (Shelly Cashman)
By Course Technology
ean: 9780789566492, isbn: 0789566494,
Allow your students to do systems analysis and design right from the start! This title presents students with real-world system analysis skills and techniques within the framework of the systems development life cycle (SDLC). Examples and cases are d...

Business Engineering with Object Technology
By Wiley
ean: 9780471045212, isbn: 0471045217,
All the ideas, examples and designs are drawn from the author's years of experience in designing object-oriented business models for Fortune 500 companies. This concise, practical book contains proven techniques on applying object technology for the ...

Essential Software Architecture
By Springer
ean: 9783540287131, isbn: 3540287132,
Job titles like "Technical Architect" and "Chief Architect" nowadays abound in the software industry, yet many people suspect that "architecture" is one of the most overused and least understood terms in professional software development. Gorton's bo...

Domain Analysis for Knowledge Organization: Tools for Ontology Extraction
By Chandos Publishing
ean: 9780081001509, isbn: 0081001509,
Domain analysis is the process of studying the actions, knowledge production, knowledge dissemination, and knowledge-base of a community of commonality, such as an academic discipline or a professional community. The products of domain analysis range...

Microsoft Tabular Modeling Cookbook
By Packt Publishing
mpn: black & white illustrations, ean: 9781782170884, isbn: 178217088X,
No prior knowledgeof tabular modeling is needed to benefit from this brilliant cookbook. This is the total guide to developing and managing analytical models using the Business Intelligence Semantic Models technology. Overview Develop tabular models...

The Business Value of IT: Managing Risks, Optimizing Performance and Measuring Results
By Brand: Auerbach Publications
ean: 9781420064742, isbn: 1420064746,
In order to maximize IT resources and justify IT expenditures, CIO’s and other IT managers must be able to identify meaningful metrics and explain them in a way that management can understand. The Business Value of IT: Managing Risks, Optimizing...

Software Patterns, Knowledge Maps, and Domain Analysis
By Auerbach Publications
mpn: 43192-647611, ean: 9781138033733, isbn: 1138033731,
Software design patterns are known to play a vital role in enhancing the quality of software systems while reducing development time and cost. However, the use of these design patterns has also been known to introduce problems that can significantly ...

Privacy Policy / Terms of Service
© 2019 - translateth.is. All Rights Reserved.