Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Rigorous Software Development

Rigorous Software Development

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780857290182
Condition
New
Product Description

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Available Colors
Available Sizes
1 Offer Price Range: $29.99 - $29.99
BEST PRICE

Single Product Purchase

$29.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$29.99 $29.99

$29.99
See Site In stock Visit Store

Similar Products

Untersuchungen ber das Dickenunterscheidungsvermgen bei Unabgesttztem Zahnersatz

$54.99

Ceramics

$25.67

Nanoparticles and their Biomedical Applications

$109.99

MEMS Product Engineering

$109.99

Buddy Readers: Level A (Multiple-Copy Set)

$76.49

CAD-Datenbanksysteme

$34.99

Theory and Practice from a Cognitive Perspective

$139.99

Evaporation and Evapotranspiration

$109.99

Entrepreneurial Behaviour

$199.99

Gewollte Kinderlosigkeit

$54.99

Prediction of Protein Secondary Structure

$169.99

Industrielle Verhandlungen

$69.99

Thermodynamik in der Mineralogie

$49.99

Materials Science with Ion Beams

$129.00

Medicinal Organometallic Chemistry

$329.99

Einfhrung in die Phnomenologie der Erkenntnis. Vorlesung 1909

$159.99

Smart Satellites: Design, Modelling and Development

$249.99

Advanced Parallel Processing Technologies

$39.99

Textual Politics from Slavery to Postcolonialism

$49.99

Ultraschalldiagnostik 91

$59.99

Unified Strength Theory and Its Applications

$109.99

Ceramic Powder Preparation: A Handbook

$169.99

Achieving Consensus in Robot Swarms

$99.00

Rediscovering the World

$169.99

Linear Spaces and Approximation / Lineare Rume und Approximation

$54.99

Greed

$39.99

Instrumental Inorganic Chemistry

$39.99

Effiziente Algorithmen fr grundlegende Funktionen

$69.95

Technological Innovation for Value Creation

$109.99

The Shaping of News

$29.99

New Methods of Polymer Synthesis

$219.99

Journal on Data Semantics I

$54.99

Millimetre and Submillimetre Astronomy

$169.99

Fully Homomorphic Encryption in Real World Applications

$169.99

International Dictionary of Management

$74.99

Das Radikalisierungsparadigma

$17.99

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

$99.99

Chest Sonography

$249.99

Lecture Notes on Geometry of Numbers

$64.99

Smart Computing Paradigms: New Progresses and Challenges

$169.99