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

Manufacturer:Springer
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540679899
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
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$89.99
$88.43
You Save: 2%


Quantity:  

 


 


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


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...

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...

By Dorset House
ean: 9780932633187, isbn: 0932633188,

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...

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 ...

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...

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...

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...

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...

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
© 2018 - translateth.is. All Rights Reserved.